Searched refs:etr_switch_to_local (Results 1 – 3 of 3) sorted by relevance
216 void etr_switch_to_local(void);
339 etr_switch_to_local(); in s390_do_machine_check()
527 void etr_switch_to_local(void) in etr_switch_to_local() function