debug_trap_cpu_in_kdl
extern void debug_trap_cpu_in_kdl(int32 cpu, bool returnIfHandedOver);
debug_trap_cpu_in_kdl(cpu, true);
debug_trap_cpu_in_kdl(currentCPU, false);