Searched refs:restart_nmi (Results 1 – 3 of 3) sorted by relevance
64 void restart_nmi(void);
544 void restart_nmi(void) in restart_nmi() function
648 restart_nmi(); in alternative_instructions()
