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 
9 #pragma once
10 
22 #include <stdint.h>
23 
24 #ifdef __cplusplus
25 extern "C" {
26 #endif
27 
34 #ifndef CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD
35 #define CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD (1)
36 #endif
37 
46 void debug_irq_disable_print(const char *file, unsigned line, uint32_t ticks);
47 
48 #ifdef __cplusplus
49 }
50 #endif
51 
debug_irq_disable_print
void debug_irq_disable_print(const char *file, unsigned line, uint32_t ticks)
Print time spent with IRQ disabled.