Searched refs:vgic_get_eisr (Results 1 – 1 of 1) sorted by relevance
1027 static inline u64 vgic_get_eisr(struct kvm_vcpu *vcpu) in vgic_get_eisr() function1273 u64 eisr = vgic_get_eisr(vcpu); in vgic_process_maintenance()