void oprofile_arch_exit(void) { op_nmi_exit(); }
void oprofile_arch_exit(void) { #ifdef CONFIG_X86_LOCAL_APIC op_nmi_exit(); #endif }