PS3_DEV_TYPE_SB_GELIC  125 arch/powerpc/platforms/ps3/device-init.c 	BUG_ON(repo->dev_type != PS3_DEV_TYPE_SB_GELIC);
PS3_DEV_TYPE_SB_GELIC  599 arch/powerpc/platforms/ps3/device-init.c 	case PS3_DEV_TYPE_SB_GELIC: