diff --git a/sched/Kconfig b/sched/Kconfig index 3e01b93a5c..4d63801c1e 100644 --- a/sched/Kconfig +++ b/sched/Kconfig @@ -916,6 +916,12 @@ config SCHED_INSTRUMENTATION if SCHED_INSTRUMENTATION +config SCHED_INSTRUMENTATION_EXTENAL + bool "System performance monitor endpoints are external" + default n + ---help--- + Monitor only CPUs in the bitset. Bit 0=CPU0, Bit1=CPU1, etc. + config SCHED_INSTRUMENTATION_CPUSET hex "CPU bit set" default 0xffff diff --git a/sched/sched/sched_note.c b/sched/sched/sched_note.c index 8b20d5b0eb..d6839f1528 100644 --- a/sched/sched/sched_note.c +++ b/sched/sched/sched_note.c @@ -36,6 +36,7 @@ #include "sched/sched.h" +#if !defined(CONFIG_SCHED_INSTRUMENTATION_EXTENAL) /**************************************************************************** * Private Types ****************************************************************************/ @@ -610,3 +611,4 @@ void sched_note_irqhandler(int irq, FAR void *handler, bool enter) note_add((FAR const uint8_t *)¬e, sizeof(struct note_irqhandler_s)); } #endif +#endif /* CONFIG_SCHED_INSTRUMENTATION_EXTENAL */