Searched defs:vintid (Results 1 – 3 of 3) sorted by relevance
489 u32 vintid, bool (*get_input_level)(int vindid)) in kvm_vgic_map_phys_irq()514 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq()531 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_unmap_phys_irq()951 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_map_is_active()
80 u32 vintid; member
826 bool kvm_arch_timer_get_input_level(int vintid) in kvm_arch_timer_get_input_level()
