Symbol: restoretstate
sys/arch/sparc64/sparc64/db_interface.c
255
extern void restoretstate(int tl, struct trapstate *ts);
sys/arch/sparc64/sparc64/db_interface.c
303
restoretstate(tl,ts);