timer_restore_state  545 virt/kvm/arm/arch_timer.c 	timer_restore_state(map.direct_vtimer);
timer_restore_state  547 virt/kvm/arm/arch_timer.c 		timer_restore_state(map.direct_ptimer);