Searched defs:vintid (Results 1 – 4 of 4) sorted by relevance
517 u32 vintid, struct irq_ops *ops) in kvm_vgic_map_phys_irq()542 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq()559 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_unmap_phys_irq()578 int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_get_map()1024 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid) in kvm_vgic_map_is_active()
97 u32 vintid; member
1488 static bool kvm_arch_timer_get_input_level(int vintid) in kvm_arch_timer_get_input_level()
652 uint32_t devid, eventid, vintid, doorbell, vpeid; in process_vmapti() local