taglinefilesource code
nmi63kernel/traps.casmlinkage void nmi(void);
nmi228kernel/traps.cset_trap_gate(2,&nmi);