Symbol: irqtime_enabled
kernel/sched/sched.h
3411
static inline int irqtime_enabled(void)
kernel/sched/sched.h
3437
static inline int irqtime_enabled(void)