__DOMAIN_NS EQU 1 INCLUDE irq_armv8mml.s END