Searched defs:machine_real_restart (Results 1 – 3 of 3) sorted by relevance
97 void __noreturn machine_real_restart(unsigned int type) in machine_real_restart() function