37#ifndef _RTEMS_DEV_IRQ_ARM_GIC_AARCH64_H
38#define _RTEMS_DEV_IRQ_ARM_GIC_AARCH64_H
40#include <rtems/score/cpu.h>
54 bsp_interrupt_handler_dispatch(vector);
59static inline void arm_interrupt_facility_set_exception_handler(
void)
61 AArch64_set_exception_handler(
62 AARCH64_EXCEPTION_SPx_IRQ,
63 _AArch64_Exception_interrupt_no_nest
65 AArch64_set_exception_handler(
66 AARCH64_EXCEPTION_SP0_IRQ,
67 _AArch64_Exception_interrupt_nest
ISR_Vector_number rtems_vector_number
This integer type represents interrupt vector numbers.
Definition: intr.h:102
uint32_t _CPU_ISR_Get_level(void)
Returns the interrupt level of the executing thread.
Definition: cpu.c:165
#define _CPU_ISR_Set_level(_new_level)
Definition: cpu.h:378
This header file provides interfaces of the Interrupt Manager implementation.