Searched refs:old_console (Results 1 – 2 of 2) sorted by relevance
130 switch_to_old_console(int old_console) in switch_to_old_console() argument133 uint32_t ops = old_console; in switch_to_old_console()
96 void switch_to_old_console(int old_console);