tag	line	file	source code
nmi	44	kernel/traps.c	void nmi(void);
nmi	188	kernel/traps.c	set_trap_gate(2,&nmi);