Searched refs:gic_restore_state (Results 1 – 3 of 3) sorted by relevance
266 extern void gic_restore_state(struct vcpu *v);
187 gic_restore_state(n); in ctxt_switch_to()
85 void gic_restore_state(struct vcpu *v) in gic_restore_state() function
Completed in 7 milliseconds