Searched refs:restart_guest (Results 1 – 1 of 1) sorted by relevance
3134 static void __attribute__((noreturn)) restart_guest(void) in restart_guest() function3183 restart_guest(); in run_guest()