37#ifndef _RTEMS_DEV_IRQ_ARM_GIC_ARM_H
38#define _RTEMS_DEV_IRQ_ARM_GIC_ARM_H
49 uint32_t psr = _ARMV4_Status_irq_enable();
50 bsp_interrupt_handler_dispatch(vector);
52 _ARMV4_Status_restore(psr);
55static inline void arm_interrupt_facility_set_exception_handler(
void)
This header file provides interfaces of the ARMv4 architecture support.
ISR_Vector_number rtems_vector_number
This integer type represents interrupt vector numbers.
Definition: intr.h:102
This header file provides interfaces of the Interrupt Manager implementation.