Implementation of the kernels irq interface. More...
Implementation of the kernels irq interface.
Definition in file irq_arch.h.
#include <stdbool.h>
#include <stdint.h>
#include "cpu_conf.h"
#include "kernel_defines.h"
#include "debug_irq_disable.h"
Go to the source code of this file.
static void | _irq_debug_start_count (void) |
Start SysTick timer to measure time spent with IRQ disabled. | |
static uint32_t | _irq_debug_stop_count (void) |
Stop SysTick timer, return time spent with IRQ disabled. | |
static unsigned int | irq_disable (void) |
Disable all maskable interrupts. | |
static unsigned int | irq_enable (void) |
Enable all maskable interrupts. | |
static void | irq_restore (unsigned int state) |
Restore the state of the IRQ flags. | |
static bool | irq_is_enabled (void) |
See if IRQs are currently enabled. | |
static bool | irq_is_in (void) |
See if the current context is inside an ISR. | |