Support for: — The ARMv8 architecture. — Locality-specific Peripheral Interrupts (LPIs). — Private Peripheral Interrupts (PPIs). — Software Generated Interrupts (SGIs). — Shared Peripheral Interrupts (SPIs). — Interrupt masking and prioritizati