irq_arch.h

Go to the documentation of this file.

/*
 * Copyright (C) 2014-2015 Freie Universität Berlin
 *
 * This file is subject to the terms and conditions of the GNU Lesser General
 * Public License v2.1. See the file LICENSE in the top level directory for more
 * details.
 */
 
#ifndef IRQ_ARCH_H
#define IRQ_ARCH_H
 
#include <stdint.h>
#include "cpu_conf.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
static inline __attribute__((always_inline)) unsigned int irq_disable(void)
{
    uint32_t mask = __get_PRIMASK();
 
    __disable_irq();
    return mask;
}
 
static inline __attribute__((always_inline)) __attribute__((used)) unsigned int
irq_enable(void)
{
    unsigned result = __get_PRIMASK();
 
    __enable_irq();
    return result;
}
 
static inline __attribute__((always_inline)) void irq_restore(
    unsigned int state)
{
    __set_PRIMASK(state);
}
 
static inline __attribute__((always_inline)) int irq_is_in(void)
{
    return (__get_IPSR() & 0xFF);
}
 
#ifdef __cplusplus
}
#endif
 
#endif /* IRQ_ARCH_H */