__DOMAIN_NS EQU 1 INCLUDE irq_armv8mbl.s END