160 			map->emul_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
165 			map->emul_vtimer = vcpu_hvtimer(vcpu);  in get_timer_map()
171 		map->emul_vtimer = NULL;  in get_timer_map()
176 		map->emul_vtimer = NULL;  in get_timer_map()
582 	    !kvm_timer_irq_can_fire(map.emul_vtimer) &&  in kvm_timer_blocking()
738 		kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_vtimer));  in kvm_timer_vcpu_load_nested_switch()
882 	if (map.emul_vtimer)  in kvm_timer_vcpu_load()
883 		timer_emulate(map.emul_vtimer);  in kvm_timer_vcpu_load()
930 	if (map.emul_vtimer)  in kvm_timer_vcpu_put()
931 		soft_timer_cancel(&map.emul_vtimer->hrtimer);  in kvm_timer_vcpu_put()
970 		soft_timer_cancel(&map.emul_vtimer->hrtimer);  in kvm_timer_sync_nested()
972 		timer_emulate(map.emul_vtimer);  in kvm_timer_sync_nested()
1046 	if (map.emul_vtimer)  in kvm_timer_vcpu_reset()
1047 		soft_timer_cancel(&map.emul_vtimer->hrtimer);  in kvm_timer_vcpu_reset()
1182 	if (timer == map.emul_vtimer || timer == map.emul_ptimer)  in kvm_arm_timer_read_sysreg()
1233 	if (timer == map.emul_vtimer || timer == map.emul_ptimer) {  in kvm_arm_timer_write_sysreg()