Symbol: BAD_MADT_GICC_ENTRY
arch/arm64/kernel/smp.c
637
if (BAD_MADT_GICC_ENTRY(processor, end))
drivers/irqchip/irq-gic.c
1545
if (BAD_MADT_GICC_ENTRY(processor, end))