29#ifndef LIBBSP_ARM_XEN_IRQ_H
30#define LIBBSP_ARM_XEN_IRQ_H
43#define BSP_INTERRUPT_VECTOR_COUNT 1019
46#define GUEST_TIMER_VIRT_PPI 27
47#define GUEST_TIMER_PHYS_S_PPI 29
48#define GUEST_TIMER_PHYS_NS_PPI 30
49#define GUEST_EVTCHN_PPI 31
51#define GUEST_VPL011_SPI 32
This header file provides interfaces of the ARM Generic Interrupt Controller (GIC) support.
Interrupt Handler Support.
This header file is provided for backward compatiblility.