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