timer_save_state  580 virt/kvm/arm/arch_timer.c 	timer_save_state(map.direct_vtimer);
timer_save_state  582 virt/kvm/arm/arch_timer.c 		timer_save_state(map.direct_ptimer);