NAME    irq_armv8mml_ns.s
#define         DOMAIN_NS 1
#include        "irq_armv8mml_common.s"
                END