Toggle navigation
Documentation
The friendly Operating System for the Internet of Things
debug_irq_disable.h
Go to the documentation of this file.
1
/*
2
* SPDX-FileCopyrightText: 2022 ML!PA Consulting GmbH
3
* SPDX-License-Identifier: LGPL-2.1-only
4
*/
5
6
#pragma once
7
19
#include <stdint.h>
20
21
#ifdef __cplusplus
22
extern
"C"
{
23
#endif
24
31
#ifndef CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD
32
#define CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD (1)
33
#endif
34
43
void
debug_irq_disable_print
(
const
char
*file,
unsigned
line, uint32_t ticks);
44
45
#ifdef __cplusplus
46
}
47
#endif
48
debug_irq_disable_print
void debug_irq_disable_print(const char *file, unsigned line, uint32_t ticks)
Print time spent with IRQ disabled.
Generated on Mon Nov 24 2025 18:43:15 by
1.9.1