Searched refs:vintid (Results 1 – 7 of 7) sorted by relevance
| /linux/include/kvm/ |
| A 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);
|
| A D | arm_arch_timer.h | 88 bool kvm_arch_timer_get_input_level(int vintid);
|
| /linux/arch/arm64/kvm/vgic/ |
| A 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()
|
| A D | vgic-v4.c | 438 .vintid = irq->intid, in kvm_vgic_v4_set_forwarding()
|
| /linux/include/linux/irqchip/ |
| A D | arm-gic-v4.h | 97 u32 vintid; member
|
| /linux/arch/arm64/kvm/ |
| A 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/drivers/irqchip/ |
| A 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()
|
Completed in 24 milliseconds