Searched refs:master_host_port (Results 1 – 1 of 1) sorted by relevance
66 static mach_port_t master_host_port; variable71 master_host_port = port; in panic_init()83 (void) host_reboot(master_host_port, RB_DEBUGGER); in panic()