S3C_VA_SYS
samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0x118);
writel_relaxed(0x0, S3C_VA_SYS + 0xA1C);
samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0xA1C);
.virtual = (unsigned long)S3C_VA_SYS,
#define S3C_CLKREG(x) (S3C_VA_SYS + (x))
#define S3C_SYSREG(x) (S3C_VA_SYS + (x))
.virtual = (unsigned long)S3C_VA_SYS,
s3c64xx_clk_init(NULL, xtal_f, xusbxti_f, soc_is_s3c6400(), S3C_VA_SYS);
#define S5P_CLKREG(x) (S3C_VA_SYS + (x))
iodesc.virtual = (unsigned long)S3C_VA_SYS;