Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) // SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) //
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) // Copyright (c) 2009-2011 Samsung Electronics Co., Ltd.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) //		http://www.samsung.com
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) //
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) // Samsung CPU Support
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) #include <linux/module.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) #include <linux/kernel.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) #include <linux/init.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) #include <linux/io.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) #include <mach/map-base.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) #include "cpu.h"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) unsigned long samsung_cpu_id;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) void __init s3c64xx_init_cpu(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) 	samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0x118);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) 	if (!samsung_cpu_id) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) 		/*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) 		 * S3C6400 has the ID register in a different place,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) 		 * and needs a write before it can be read.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) 		 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) 		writel_relaxed(0x0, S3C_VA_SYS + 0xA1C);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) 		samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0xA1C);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) 	}
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) 	pr_info("Samsung CPU ID: 0x%08lx\n", samsung_cpu_id);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) }