Searched refs:vintid (Results 1 – 3 of 3) sorted by relevance
| /virt/kvm/arm/vgic/ |
| D | vgic.c | 515 u32 vintid, bool (*get_input_level)(int vindid)) in kvm_vgic_map_phys_irq() argument
517 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_map_phys_irq()
540 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq() argument
542 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_reset_mapped_irq()
557 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_unmap_phys_irq() argument
565 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_unmap_phys_irq()
999 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_map_is_active() argument
1008 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_map_is_active()
|
| D | vgic-v4.c | 284 .vintid = irq->intid, in kvm_vgic_v4_set_forwarding()
|
| /virt/kvm/arm/ |
| D | arch_timer.c | 1023 bool kvm_arch_timer_get_input_level(int vintid) in kvm_arch_timer_get_input_level() argument
1028 if (vintid == vcpu_vtimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
1030 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
|