diff --git a/os/common/ports/ARMCMx/compilers/GCC/utils/fault_handlers_v7m.c b/os/common/ports/ARMCMx/compilers/GCC/utils/fault_handlers_v7m.c
index 587fce3c..b40464fc 100644
--- a/os/common/ports/ARMCMx/compilers/GCC/utils/fault_handlers_v7m.c
+++ b/os/common/ports/ARMCMx/compilers/GCC/utils/fault_handlers_v7m.c
@@ -133,12 +133,12 @@ static void _init_fault_info(void) {
 static void _save_fault_info(void) {
 	memset(&fault_info, 0, sizeof(fault_info));
 
-	if (ch.rlist.current) {
+	if (currcore->rlist.current) {
 		fault_printf("Thread: 0x%08x, %s",
-				ch.rlist.current, ch.rlist.current->name);
+				currcore->rlist.current, currcore->rlist.current->name);
 
-		fault_info.decoded_fault_registers.general.current_thread_address = (uint32_t)ch.rlist.current;
-		fault_info.decoded_fault_registers.general.current_thread_name = ch.rlist.current->name;
+		fault_info.decoded_fault_registers.general.current_thread_address = (uint32_t)currcore->rlist.current;
+		fault_info.decoded_fault_registers.general.current_thread_name = currcore->rlist.current->name;
 	} else {
 		fault_printf("Thread: unknown");
 	}