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