Searched refs:old_tba (Results 1 – 1 of 1) sorted by relevance
166 void *old_tba; in vx_handler() local178 old_tba = set_tba((void *)&trap_table); in vx_handler()182 (void) set_tba(old_tba); in vx_handler()