thermosphere: gdb: fix a few bugs

2020-02-01 14:25:12 +00:00
parent 86eaa7777b
commit eff433f62c
5 changed files with 14 additions and 12 deletions
--- a/thermosphere/src/debug_manager.c
+++ b/thermosphere/src/debug_manager.c
@@ -79,7 +79,7 @@ void debugManagerInit(TransportInterfaceType gdbIfaceType, u32 gdbIfaceId, u32 g
 {
    memset(&g_debugManager, 0, sizeof(DebugManager));
    GDB_InitializeContext(&g_gdbContext, gdbIfaceType, gdbIfaceId, gdbIfaceFlags);
-    GDB_MigrateRxIrq(&g_gdbContext, BIT(currentCoreCtx->coreId));
+    GDB_MigrateRxIrq(&g_gdbContext, currentCoreCtx->coreId);
 }

 bool debugManagerHandlePause(void)