s5p_cpu_id = 0x5420;
break;
case 0x422:
- /*
- * Exynos5800 is a variant of Exynos5420
- * and has product id 0x5422
- */
- s5p_cpu_id = 0x5800;
+ /* Exynos5422 */
+ s5p_cpu_id = 0x5422;
break;
}
}
IS_EXYNOS_TYPE(exynos4412, 0x4412)
IS_EXYNOS_TYPE(exynos5250, 0x5250)
IS_EXYNOS_TYPE(exynos5420, 0x5420)
-IS_EXYNOS_TYPE(exynos5800, 0x5800)
+IS_EXYNOS_TYPE(exynos5422, 0x5422)
+/*
+ * Exynos5800 is a variant of Exynos5420
+ * and has product id 0x5422
+ */
+IS_EXYNOS_TYPE(exynos5800, 0x5422)
#define SAMSUNG_BASE(device, base) \
static inline unsigned int __attribute__((no_instrument_function)) \