Searched refs:restart_nmi (Results 1 – 2 of 2) sorted by relevance
742 void restart_nmi(void) in restart_nmi() function
2453 restart_nmi(); in alternative_instructions()