Searched refs:vintid (Results 1 – 7 of 7) sorted by relevance
/Linux-v5.15/include/kvm/ |
D | arm_vgic.h | 112 bool (*get_input_level)(int vintid); 374 u32 vintid, struct irq_ops *ops); 375 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid); 376 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid); 393 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
|
D | arm_arch_timer.h | 88 bool kvm_arch_timer_get_input_level(int vintid);
|
/Linux-v5.15/arch/arm64/kvm/vgic/ |
D | vgic.c | 515 u32 vintid, struct irq_ops *ops) 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() 1007 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_map_is_active() argument 1016 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_map_is_active()
|
D | vgic-v4.c | 438 .vintid = irq->intid, in kvm_vgic_v4_set_forwarding()
|
/Linux-v5.15/include/linux/irqchip/ |
D | arm-gic-v4.h | 97 u32 vintid; member
|
/Linux-v5.15/arch/arm64/kvm/ |
D | arch_timer.c | 1214 bool kvm_arch_timer_get_input_level(int vintid) in kvm_arch_timer_get_input_level() argument 1219 if (vintid == vcpu_vtimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level() 1221 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
|
/Linux-v5.15/drivers/irqchip/ |
D | irq-gic-v3-its.c | 1253 desc.its_vmapti_cmd.virt_id = map->vintid; in its_send_vmapti() 1399 hwirq = map->vintid; in lpi_write_config() 1445 val |= FIELD_PREP(GICR_INVLPIR_INTID, map->vintid); in direct_lpi_inv()
|