op_nmi_exit        21 arch/x86/oprofile/init.c extern void op_nmi_exit(void);
op_nmi_exit        47 arch/x86/oprofile/init.c 	op_nmi_exit();