1569 static volatile bool timer_fired;  variable
1573 	timer_fired = true;  in timer_isr()
1595 	for (loops = 0; loops < 10000000 && !timer_fired; loops++)  in interrupt_main()
1597 	report(timer_fired, "direct interrupt while running guest");  in interrupt_main()
1602 	timer_fired = false;  in interrupt_main()
1604 	for (loops = 0; loops < 10000000 && !timer_fired; loops++)  in interrupt_main()
1606 	report(timer_fired, "intercepted interrupt while running guest");  in interrupt_main()
1612 	timer_fired = false;  in interrupt_main()
1618 	report(rdtsc() - start > 1000000 && timer_fired,  in interrupt_main()
1624 	timer_fired = false;  in interrupt_main()
1630 	report(rdtsc() - start > 10000 && timer_fired,  in interrupt_main()
1636 	timer_fired = false;  in interrupt_main()
1643 	report(rdtsc() - start > 10000 && timer_fired,  in interrupt_main()
1649 	timer_fired = false;  in interrupt_main()
1656 	report(rdtsc() - start > 10000 && timer_fired,  in interrupt_main()
1663 	timer_fired = false;  in interrupt_main()
1665 	for (loops = 0; loops < 10000000 && !timer_fired; loops++)  in interrupt_main()
1667 	report(timer_fired,  in interrupt_main()
1672 	timer_fired = false;  in interrupt_main()
1674 	report(timer_fired, "Inject an event to a halted guest");  in interrupt_main()