Searched defs:sgi (Results 1 – 1 of 1) sorted by relevance
1045 static void vgic_v3_queue_sgi(struct kvm_vcpu *vcpu, u32 sgi, bool allow_group1) in vgic_v3_queue_sgi()1099 u32 sgi, aff0; in vgic_v3_dispatch_sgi() local
Completed in 5 milliseconds