NAME    irq_armv8mbl.s
#define         DOMAIN_NS 0
#include        "irq_armv8mbl_common.s"
                END