Searched refs:restart_requested (Results 1 – 1 of 1) sorted by relevance
37 int restart_requested; variable40 restart_requested = 2; in deferred_restart()42 restart_requested = 3; in deferred_restart()87 if (restart_requested) in keyreset_event()88 panic("keyboard reset failed, %d", restart_requested); in keyreset_event()91 restart_requested = 1; in keyreset_event()