Searched refs:gic_restore_pending_irqs (Results 1 – 1 of 1) sorted by relevance
39 static void gic_restore_pending_irqs(struct vcpu *v);95 gic_restore_pending_irqs(v); in gic_restore_state()622 static void gic_restore_pending_irqs(struct vcpu *v) in gic_restore_pending_irqs() function731 gic_restore_pending_irqs(current); in gic_inject()
Completed in 3 milliseconds