debug_irq_disable.h
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2022 ML!PA Consulting GmbH
3  *
4  * This file is subject to the terms and conditions of the GNU Lesser
5  * General Public License v2.1. See the file LICENSE in the top level
6  * directory for more details.
7  */
8 
20 #ifndef DEBUG_IRQ_DISABLE_H
21 #define DEBUG_IRQ_DISABLE_H
22 
23 #include <stdint.h>
24 
25 #ifdef __cplusplus
26 extern "C" {
27 #endif
28 
35 #ifndef CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD
36 #define CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD (1)
37 #endif
38 
47 void debug_irq_disable_print(const char *file, unsigned line, uint32_t ticks);
48 
49 #ifdef __cplusplus
50 }
51 #endif
52 
54 #endif /* DEBUG_IRQ_DISABLE_H */
debug_irq_disable_print
void debug_irq_disable_print(const char *file, unsigned line, uint32_t ticks)
Print time spent with IRQ disabled.