EBC_NUM_BANKS     307 arch/powerpc/boot/4xx.c 	u32 ranges[EBC_NUM_BANKS*4];
EBC_NUM_BANKS     311 arch/powerpc/boot/4xx.c 	for (i = 0; i < EBC_NUM_BANKS; i++) {