/* determine_e300_type() - Determine e300 core type of MPC83xx device @dev: CPU device from which to read e300 core type from  */
static void determine_e300_type(struct udevice *dev)
/* determine_e300_type() - Determine e300 core type of MPC83xx device @dev: CPU device from which to read e300 core type from  */
static void determine_e300_type(struct udevice *dev)
{
	struct mpc83xx_cpu_priv *priv = dev_get_priv(dev);
	const u32 PCR_UPPER_MASK = 0xFFFF0000;
	u32 pvr = get_pvr();
	switch ((pvr & PCR_UPPER_MASK) >> 16) {
	case 0x8083:
		priv->e300_type = E300C1;
		break;
	case 0x8084:
		priv->e300_type = E300C2;
		break;
	case 0x8085:
		priv->e300_type = E300C3;
		break;
	case 0x8086:
		priv->e300_type = E300C4;
		break;
	default:
		priv->e300_type = E300_UNKNOWN;
	}
}