NAME    irq_armv8mml.s
#define         DOMAIN_NS 0
#include        "irq_armv8mml_common.s"
                END