Home
last modified time | relevance | path

Searched refs:vintid (Results 1 – 7 of 7) sorted by relevance

/linux-4.19.296/include/kvm/
Darm_vgic.h148 bool (*get_input_level)(int vintid);
356 u32 vintid, bool (*get_input_level)(int vindid));
357 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
358 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
375 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
Darm_arch_timer.h93 bool kvm_arch_timer_get_input_level(int vintid);
/linux-4.19.296/virt/kvm/arm/vgic/
Dvgic.c496 u32 vintid, bool (*get_input_level)(int vindid)) in kvm_vgic_map_phys_irq() argument
498 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_map_phys_irq()
521 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq() argument
523 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_reset_mapped_irq()
538 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_unmap_phys_irq() argument
546 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_unmap_phys_irq()
969 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_map_is_active() argument
978 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid); in kvm_vgic_map_is_active()
Dvgic-v4.c295 .vintid = irq->intid, in kvm_vgic_v4_set_forwarding()
/linux-4.19.296/include/linux/irqchip/
Darm-gic-v4.h80 u32 vintid; member
/linux-4.19.296/virt/kvm/arm/
Darch_timer.c826 bool kvm_arch_timer_get_input_level(int vintid) in kvm_arch_timer_get_input_level() argument
831 if (vintid == vcpu_vtimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
/linux-4.19.296/drivers/irqchip/
Dirq-gic-v3-its.c967 desc.its_vmapti_cmd.virt_id = map->vintid; in its_send_vmapti()
1074 hwirq = map->vintid; in lpi_write_config()