Module aarch64 

AArch64 defines

Constants

DEFAULT_GIC_DISTRIBUTOR_BASE

DEFAULT_GIC_REDISTRIBUTORS_BASE

GIC_PHANDLE

GIC_PPI

IRQ_TYPE_EDGE_RISING

IRQ_TYPE_LEVEL_HIGH

IRQ_TYPE_LEVEL_LOW

PMU_GSIV

The Hyper-V default PMU_GSIV value.

PMU_GSIV_INT_INDEX

TIMER_INTID

VMBUS_PPI_OFFSET

VMBus PPI offset for the DT interrupts property. Canonical INTID is DEFAULT_VMBUS_PPI (18) in openvmm_defs.