Searched refs:debugger_flags (Results 1 – 1 of 1) sorted by relevance
269 static void kdp_machine_reboot_type(unsigned int type, uint64_t debugger_flags);1298 kdp_machine_reboot_type(unsigned int type, uint64_t debugger_flags) in kdp_machine_reboot_type() argument1300 if ((type == kPEPanicRestartCPU) && (debugger_flags & DEBUGGER_OPTION_SKIP_PANICEND_CALLOUTS)) { in kdp_machine_reboot_type()