Searched defs:mce_system_reboot (Results 1 – 2 of 2) sorted by relevance
244 void mce_system_reboot(void) in mce_system_reboot() function