wait_for_subcore_guest_exit
extern void wait_for_subcore_guest_exit(void);
wait_for_subcore_guest_exit();