Searched refs:console_restart (Results 1 – 3 of 3) sorted by relevance
100 uint64_t console_restart(struct trapframe *);
463 console_restart(struct trapframe *framep) in console_restart() function
1402 CALL(console_restart)