Searched refs:etr_switch_to_local (Results 1 – 3 of 3) sorted by relevance
214 void etr_switch_to_local(void);
337 etr_switch_to_local(); in s390_do_machine_check()
537 void etr_switch_to_local(void) in etr_switch_to_local() function