Lines Matching refs:timer_irq
452 trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_irq(timer_ctx), in kvm_timer_update_irq()
457 timer_irq(timer_ctx), in kvm_timer_update_irq()
670 phys_active = kvm_vgic_map_is_active(vcpu, timer_irq(ctx)); in kvm_timer_vcpu_load_gic()
732 hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer)); in kvm_timer_vcpu_load_nested_switch()
734 kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_vtimer)); in kvm_timer_vcpu_load_nested_switch()
735 kvm_vgic_unmap_phys_irq(vcpu, timer_irq(map->emul_ptimer)); in kvm_timer_vcpu_load_nested_switch()
739 timer_irq(map->direct_vtimer), in kvm_timer_vcpu_load_nested_switch()
744 timer_irq(map->direct_ptimer), in kvm_timer_vcpu_load_nested_switch()
973 kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer)); in kvm_timer_vcpu_reset()
975 kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer)); in kvm_timer_vcpu_reset()
1467 irq = timer_irq(ctx); in timer_irqs_are_valid()
1499 if (timer_irq(ctx) == vintid) in kvm_arch_timer_get_input_level()
1535 timer_irq(map.direct_vtimer), in kvm_timer_enable()
1543 timer_irq(map.direct_ptimer), in kvm_timer_enable()
1637 irq = timer_irq(timer); in kvm_arm_timer_get_attr()