NAME    irq_armv8mbl_ns.s
#define         DOMAIN_NS 1
#include        "irq_armv8mbl_common.s"
                END