38#ifndef _RTEMS_DEV_IRQ_ARM_GIC_ARM_H
39#define _RTEMS_DEV_IRQ_ARM_GIC_ARM_H
54static inline uint32_t arm_interrupt_enable_interrupts(
void)
56 return _ARMV4_Status_irq_enable();
59static inline void arm_interrupt_restore_interrupts(uint32_t status)
61 _ARMV4_Status_restore(status);
64static inline void arm_interrupt_facility_set_exception_handler(
void)
This header file provides interfaces of the ARMv4 architecture support.
This header file provides interfaces of the Interrupt Manager implementation.