182 			map->direct_vtimer = vcpu_hvtimer(vcpu);  in get_timer_map()
187 			map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
193 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
198 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
242 		ctx = map.direct_vtimer;  in kvm_arch_timer_handler()
583 	if (!kvm_timer_irq_can_fire(map.direct_vtimer) &&  in kvm_timer_blocking()
732 	hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));  in kvm_timer_vcpu_load_nested_switch()
738 					    map->direct_vtimer->host_timer_irq,  in kvm_timer_vcpu_load_nested_switch()
739 					    timer_irq(map->direct_vtimer),  in kvm_timer_vcpu_load_nested_switch()
754 		if (map->direct_vtimer == vcpu_hvtimer(vcpu)) {  in kvm_timer_vcpu_load_nested_switch()
755 			struct arch_timer_offset *offs = &map->direct_vtimer->offset;  in kvm_timer_vcpu_load_nested_switch()
841 		kvm_timer_vcpu_load_gic(map.direct_vtimer);  in kvm_timer_vcpu_load()
850 	timer_restore_state(map.direct_vtimer);  in kvm_timer_vcpu_load()
888 	timer_save_state(map.direct_vtimer);  in kvm_timer_vcpu_put()
973 			kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));  in kvm_timer_vcpu_reset()
1534 				    map.direct_vtimer->host_timer_irq,  in kvm_timer_enable()
1535 				    timer_irq(map.direct_vtimer),  in kvm_timer_enable()