# CONFIG_HISILICON_IRQ_MBIGEN is not set