Searched refs:DebuggerXCall (Results 1 – 3 of 3) sorted by relevance
95 extern void DebuggerXCall(void *ctx);
610 INTERRUPT_MASKED_DEBUG_START(DebuggerXCall, DBG_INTR_TYPE_IPI); in cpu_signal_handler_internal()611 DebuggerXCall(cpu_data_ptr->cpu_int_state); in cpu_signal_handler_internal()
1089 DebuggerXCall( in DebuggerXCall() function