#REDIRECT [[Non Maskable Interrupt]]