hyperv_timer.c revision 0e3f7d12
1