test_timer
SUBTEST(test_timer),
test_timer(timer);
test_timer(timer_stress);
test_timer(timer_stress_async_cancel);
test_timer(timer_cancel_async);
test_timer(timer_stress_nmi_race);
test_timer(timer_stress_nmi_update);
test_timer(timer_stress_nmi_cancel);
static void guest_poll(enum arch_timer test_timer, uint64_t usec,
enum arch_timer sleep_timer = 1 - test_timer;
CASE_TEST(timer); EXPECT_SYSZR(1, test_timer()); break;