# CONFIG_HI6421V600_IRQ is not set
