-> scheduler_test_switch_to_next_guest()