46#include "sys/memory-barrier.h"
47#include "sys/int-master.h"
void int_master_status_set(int_master_status_t status)
Set the status of the master interrupt.
int_master_status_t int_master_read_and_disable(void)
Disable the master interrupt.
static void critical_exit(int_master_status_t status)
Exit a critical section and restore the master interrupt.
static int_master_status_t critical_enter()
Enter a critical section.
uint32_t int_master_status_t
Master interrupt state representation data type.