BAD_MADT_GICC_ENTRY  577 arch/arm64/kernel/smp.c 	if (BAD_MADT_GICC_ENTRY(processor, end))
BAD_MADT_GICC_ENTRY 1512 drivers/irqchip/irq-gic.c 	if (BAD_MADT_GICC_ENTRY(processor, end))