Searched refs:vintid (Results 1 – 7 of 7) sorted by relevance
| /Linux-v6.1/include/kvm/ |
| D | arm_vgic.h | 114 bool (*get_input_level)(int vintid);
380 u32 vintid, struct irq_ops *ops);
381 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
382 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
399 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
|
| D | arm_arch_timer.h | 86 bool kvm_arch_timer_get_input_level(int vintid);
|
| /Linux-v6.1/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 | 439 .vintid = irq->intid, in kvm_vgic_v4_set_forwarding()
|
| /Linux-v6.1/include/linux/irqchip/ |
| D | arm-gic-v4.h | 97 u32 vintid; member
|
| /Linux-v6.1/arch/arm64/kvm/ |
| D | arch_timer.c | 1228 bool kvm_arch_timer_get_input_level(int vintid) in kvm_arch_timer_get_input_level() argument
1236 if (vintid == vcpu_vtimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
1238 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
|
| /Linux-v6.1/drivers/irqchip/ |
| D | irq-gic-v3-its.c | 1257 desc.its_vmapti_cmd.virt_id = map->vintid; in its_send_vmapti()
1403 hwirq = map->vintid; in lpi_write_config()
1449 val |= FIELD_PREP(GICR_INVLPIR_INTID, map->vintid); in direct_lpi_inv()
|
