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