Searched refs:vgic_get_interrupt_status (Results 1 – 1 of 1) sorted by relevance
1050 static inline u32 vgic_get_interrupt_status(struct kvm_vcpu *vcpu) in vgic_get_interrupt_status() function1361 u32 status = vgic_get_interrupt_status(vcpu); in vgic_process_maintenance()