Loading...
Searching...
No Matches
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
26extern "C" {
27#endif
28
35#ifndef CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD
36#define CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD (1)
37#endif
38
47void 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 */
void debug_irq_disable_print(const char *file, unsigned line, uint32_t ticks)
Print time spent with IRQ disabled.