Definition in file debug_irq_disable.h.
#include <stdint.h>
Go to the source code of this file.
Macros | |
#define | CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD (1) |
Threshold (in CPU ticks) below which periods with IRQs disabled are not printed. | |
Functions | |
void | debug_irq_disable_print (const char *file, unsigned line, uint32_t ticks) |
Print time spent with IRQ disabled. | |