Module aarch64

AArch64 defines

Constants

DEFAULT_GIC_DISTRIBUTOR_BASE

DEFAULT_GIC_REDISTRIBUTORS_BASE

GIC_PHANDLE

GIC_PPI

IRQ_TYPE_EDGE_FALLING

IRQ_TYPE_LEVEL_LOW

TIMER_INTID

VMBUS_INTID