Loading...
Searching...
No Matches
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
18
19#include <stdint.h>
20
21#ifdef __cplusplus
22extern "C" {
23#endif
24
31#ifndef CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD
32#define CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD (1)
33#endif
34
43void 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.