Searched refs:vintid (Results 1 – 7 of 7) sorted by relevance
| /Linux-v5.4/include/kvm/ |
| D | arm_vgic.h | 137 bool (*get_input_level)(int vintid);
347 u32 vintid, bool (*get_input_level)(int vindid));
348 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
349 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
366 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
|
| D | arm_arch_timer.h | 95 bool kvm_arch_timer_get_input_level(int vintid);
|
| /Linux-v5.4/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()
|
| /Linux-v5.4/include/linux/irqchip/ |
| D | arm-gic-v4.h | 69 u32 vintid; member
|
| /Linux-v5.4/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()
|
| /Linux-v5.4/drivers/irqchip/ |
| D | irq-gic-v3-its.c | 961 desc.its_vmapti_cmd.virt_id = map->vintid; in its_send_vmapti()
1068 hwirq = map->vintid; in lpi_write_config()
|
