Searched refs:debugger_ipi_time (Results 1 – 3 of 3) sorted by relevance
293 uint64_t debugger_ipi_time; member
1866 current_cpu_datap()->debugger_ipi_time = mach_absolute_time(); in mp_kdp_wait()
372 cpu_debugger_time = max(cpu_data.debugger_entry_time, cpu_data.debugger_ipi_time)