void oprofile_arch_exit(void) { #ifdef CONFIG_64BIT oprofile_hwsampler_exit(); #endif }
void oprofile_arch_exit(void) { oprofile_hwsampler_exit(); }