CONFIG_OPROFILE_NMI_TIMER   16 drivers/oprofile/nmi_timer_int.c #ifdef CONFIG_OPROFILE_NMI_TIMER
CONFIG_OPROFILE_NMI_TIMER   37 drivers/oprofile/oprof.h #ifdef CONFIG_OPROFILE_NMI_TIMER