Searched refs:mkdi_reboot (Results 1 – 3 of 3) sorted by relevance
75 void (*mkdi_reboot)(void); member88 #define mkdi_reboot kdi_mach.mkdi_reboot macro
115 mdb.m_kdi->mkdi_reboot(); in kmdb_kdi_reboot()
163 kdi->mkdi_reboot = kdi_reboot; in mach_kdi_init()