Searched refs:pal_get_kern_regs (Results 1 – 3 of 3) sorted by relevance
126 extern void pal_get_kern_regs( x86_saved_state_t *state ) __dead2;
347 pal_get_kern_regs( x86_saved_state_t *state ) in pal_get_kern_regs() function
1574 pal_get_kern_regs( saved_state ); in sync_iss_to_iks()