Symbol: x86_nmi
sys/arch/amd64/amd64/trap.c
542
if (x86_nmi() != 0)
sys/arch/amd64/include/intr.h
201
int x86_nmi(void);