127edd504SSong Gao /* SPDX-License-Identifier: GPL-2.0-or-later */
227edd504SSong Gao /*
327edd504SSong Gao * LoongArch CPU helpers for qemu
427edd504SSong Gao *
527edd504SSong Gao * Copyright (c) 2024 Loongson Technology Corporation Limited
627edd504SSong Gao *
727edd504SSong Gao */
827edd504SSong Gao
927edd504SSong Gao #include "qemu/osdep.h"
10a8d1b5bcSBibo Mao #include "system/tcg.h"
1127edd504SSong Gao #include "cpu.h"
12efe25c26SRichard Henderson #include "accel/tcg/cpu-mmu-index.h"
139c2ff9cdSPierrick Bouvier #include "exec/target_page.h"
1427edd504SSong Gao #include "internals.h"
1527edd504SSong Gao #include "cpu-csr.h"
16*9fd0cc4dSBibo Mao #include "tcg/tcg_loongarch.h"
1727edd504SSong Gao
get_dir_base_width(CPULoongArchState * env,uint64_t * dir_base,uint64_t * dir_width,target_ulong level)18885398eeSBibo Mao void get_dir_base_width(CPULoongArchState *env, uint64_t *dir_base,
19885398eeSBibo Mao uint64_t *dir_width, target_ulong level)
2027edd504SSong Gao {
21885398eeSBibo Mao switch (level) {
22885398eeSBibo Mao case 1:
23885398eeSBibo Mao *dir_base = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, DIR1_BASE);
24885398eeSBibo Mao *dir_width = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, DIR1_WIDTH);
25885398eeSBibo Mao break;
26885398eeSBibo Mao case 2:
27885398eeSBibo Mao *dir_base = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, DIR2_BASE);
28885398eeSBibo Mao *dir_width = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, DIR2_WIDTH);
29885398eeSBibo Mao break;
30885398eeSBibo Mao case 3:
31885398eeSBibo Mao *dir_base = FIELD_EX64(env->CSR_PWCH, CSR_PWCH, DIR3_BASE);
32885398eeSBibo Mao *dir_width = FIELD_EX64(env->CSR_PWCH, CSR_PWCH, DIR3_WIDTH);
33885398eeSBibo Mao break;
34885398eeSBibo Mao case 4:
35885398eeSBibo Mao *dir_base = FIELD_EX64(env->CSR_PWCH, CSR_PWCH, DIR4_BASE);
36885398eeSBibo Mao *dir_width = FIELD_EX64(env->CSR_PWCH, CSR_PWCH, DIR4_WIDTH);
37885398eeSBibo Mao break;
38885398eeSBibo Mao default:
39885398eeSBibo Mao /* level may be zero for ldpte */
40885398eeSBibo Mao *dir_base = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, PTBASE);
41885398eeSBibo Mao *dir_width = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, PTWIDTH);
42885398eeSBibo Mao break;
4327edd504SSong Gao }
4427edd504SSong Gao }
4527edd504SSong Gao
loongarch_page_table_walker(CPULoongArchState * env,hwaddr * physical,int * prot,target_ulong address)46dd291171SMiao Hao static int loongarch_page_table_walker(CPULoongArchState *env, hwaddr *physical,
47dd291171SMiao Hao int *prot, target_ulong address)
48dd291171SMiao Hao {
49dd291171SMiao Hao CPUState *cs = env_cpu(env);
50dd291171SMiao Hao target_ulong index, phys;
51dd291171SMiao Hao uint64_t dir_base, dir_width;
52dd291171SMiao Hao uint64_t base;
53dd291171SMiao Hao int level;
54dd291171SMiao Hao
55dd291171SMiao Hao if ((address >> 63) & 0x1) {
56dd291171SMiao Hao base = env->CSR_PGDH;
57dd291171SMiao Hao } else {
58dd291171SMiao Hao base = env->CSR_PGDL;
59dd291171SMiao Hao }
60dd291171SMiao Hao base &= TARGET_PHYS_MASK;
61dd291171SMiao Hao
62dd291171SMiao Hao for (level = 4; level > 0; level--) {
63dd291171SMiao Hao get_dir_base_width(env, &dir_base, &dir_width, level);
64dd291171SMiao Hao
65dd291171SMiao Hao if (dir_width == 0) {
66dd291171SMiao Hao continue;
67dd291171SMiao Hao }
68dd291171SMiao Hao
69dd291171SMiao Hao /* get next level page directory */
70dd291171SMiao Hao index = (address >> dir_base) & ((1 << dir_width) - 1);
71dd291171SMiao Hao phys = base | index << 3;
72dd291171SMiao Hao base = ldq_phys(cs->as, phys) & TARGET_PHYS_MASK;
73dd291171SMiao Hao if (FIELD_EX64(base, TLBENTRY, HUGE)) {
74dd291171SMiao Hao /* base is a huge pte */
75dd291171SMiao Hao break;
76dd291171SMiao Hao }
77dd291171SMiao Hao }
78dd291171SMiao Hao
79dd291171SMiao Hao /* pte */
80dd291171SMiao Hao if (FIELD_EX64(base, TLBENTRY, HUGE)) {
81dd291171SMiao Hao /* Huge Page. base is pte */
82dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY, LEVEL, 0);
83dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY, HUGE, 0);
84dd291171SMiao Hao if (FIELD_EX64(base, TLBENTRY, HGLOBAL)) {
85dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY, HGLOBAL, 0);
86dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY, G, 1);
87dd291171SMiao Hao }
88dd291171SMiao Hao } else {
89dd291171SMiao Hao /* Normal Page. base points to pte */
90dd291171SMiao Hao get_dir_base_width(env, &dir_base, &dir_width, 0);
91dd291171SMiao Hao index = (address >> dir_base) & ((1 << dir_width) - 1);
92dd291171SMiao Hao phys = base | index << 3;
93dd291171SMiao Hao base = ldq_phys(cs->as, phys);
94dd291171SMiao Hao }
95dd291171SMiao Hao
96dd291171SMiao Hao /* TODO: check plv and other bits? */
97dd291171SMiao Hao
98dd291171SMiao Hao /* base is pte, in normal pte format */
99dd291171SMiao Hao if (!FIELD_EX64(base, TLBENTRY, V)) {
100dd291171SMiao Hao return TLBRET_NOMATCH;
101dd291171SMiao Hao }
102dd291171SMiao Hao
103dd291171SMiao Hao if (!FIELD_EX64(base, TLBENTRY, D)) {
104dd291171SMiao Hao *prot = PAGE_READ;
105dd291171SMiao Hao } else {
106dd291171SMiao Hao *prot = PAGE_READ | PAGE_WRITE;
107dd291171SMiao Hao }
108dd291171SMiao Hao
109dd291171SMiao Hao /* get TARGET_PAGE_SIZE aligned physical address */
110dd291171SMiao Hao base += (address & TARGET_PHYS_MASK) & ((1 << dir_base) - 1);
111dd291171SMiao Hao /* mask RPLV, NX, NR bits */
112dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY_64, RPLV, 0);
113dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY_64, NX, 0);
114dd291171SMiao Hao base = FIELD_DP64(base, TLBENTRY_64, NR, 0);
115dd291171SMiao Hao /* mask other attribute bits */
116dd291171SMiao Hao *physical = base & TARGET_PAGE_MASK;
117dd291171SMiao Hao
118dd291171SMiao Hao return 0;
119dd291171SMiao Hao }
120dd291171SMiao Hao
loongarch_map_address(CPULoongArchState * env,hwaddr * physical,int * prot,target_ulong address,MMUAccessType access_type,int mmu_idx,int is_debug)12127edd504SSong Gao static int loongarch_map_address(CPULoongArchState *env, hwaddr *physical,
12227edd504SSong Gao int *prot, target_ulong address,
123dd291171SMiao Hao MMUAccessType access_type, int mmu_idx,
124dd291171SMiao Hao int is_debug)
12527edd504SSong Gao {
126a8d1b5bcSBibo Mao int ret;
12727edd504SSong Gao
128a8d1b5bcSBibo Mao if (tcg_enabled()) {
129a8d1b5bcSBibo Mao ret = loongarch_get_addr_from_tlb(env, physical, prot, address,
130a8d1b5bcSBibo Mao access_type, mmu_idx);
131a8d1b5bcSBibo Mao if (ret != TLBRET_NOMATCH) {
132a8d1b5bcSBibo Mao return ret;
133a8d1b5bcSBibo Mao }
134a8d1b5bcSBibo Mao }
135a8d1b5bcSBibo Mao
136a8d1b5bcSBibo Mao if (is_debug) {
137dd291171SMiao Hao /*
138dd291171SMiao Hao * For debugger memory access, we want to do the map when there is a
139dd291171SMiao Hao * legal mapping, even if the mapping is not yet in TLB. return 0 if
140dd291171SMiao Hao * there is a valid map, else none zero.
141dd291171SMiao Hao */
142dd291171SMiao Hao return loongarch_page_table_walker(env, physical, prot, address);
14327edd504SSong Gao }
14427edd504SSong Gao
14527edd504SSong Gao return TLBRET_NOMATCH;
14627edd504SSong Gao }
14727edd504SSong Gao
dmw_va2pa(CPULoongArchState * env,target_ulong va,target_ulong dmw)14827edd504SSong Gao static hwaddr dmw_va2pa(CPULoongArchState *env, target_ulong va,
14927edd504SSong Gao target_ulong dmw)
15027edd504SSong Gao {
15127edd504SSong Gao if (is_la64(env)) {
15227edd504SSong Gao return va & TARGET_VIRT_MASK;
15327edd504SSong Gao } else {
15427edd504SSong Gao uint32_t pseg = FIELD_EX32(dmw, CSR_DMW_32, PSEG);
15527edd504SSong Gao return (va & MAKE_64BIT_MASK(0, R_CSR_DMW_32_VSEG_SHIFT)) | \
15627edd504SSong Gao (pseg << R_CSR_DMW_32_VSEG_SHIFT);
15727edd504SSong Gao }
15827edd504SSong Gao }
15927edd504SSong Gao
get_physical_address(CPULoongArchState * env,hwaddr * physical,int * prot,target_ulong address,MMUAccessType access_type,int mmu_idx,int is_debug)16027edd504SSong Gao int get_physical_address(CPULoongArchState *env, hwaddr *physical,
16127edd504SSong Gao int *prot, target_ulong address,
162dd291171SMiao Hao MMUAccessType access_type, int mmu_idx, int is_debug)
16327edd504SSong Gao {
1643f262d25SRichard Henderson int user_mode = mmu_idx == MMU_USER_IDX;
1653f262d25SRichard Henderson int kernel_mode = mmu_idx == MMU_KERNEL_IDX;
16627edd504SSong Gao uint32_t plv, base_c, base_v;
16727edd504SSong Gao int64_t addr_high;
16827edd504SSong Gao uint8_t da = FIELD_EX64(env->CSR_CRMD, CSR_CRMD, DA);
16927edd504SSong Gao uint8_t pg = FIELD_EX64(env->CSR_CRMD, CSR_CRMD, PG);
17027edd504SSong Gao
17127edd504SSong Gao /* Check PG and DA */
17227edd504SSong Gao if (da & !pg) {
17327edd504SSong Gao *physical = address & TARGET_PHYS_MASK;
17427edd504SSong Gao *prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
17527edd504SSong Gao return TLBRET_MATCH;
17627edd504SSong Gao }
17727edd504SSong Gao
17827edd504SSong Gao plv = kernel_mode | (user_mode << R_CSR_DMW_PLV3_SHIFT);
17927edd504SSong Gao if (is_la64(env)) {
18027edd504SSong Gao base_v = address >> R_CSR_DMW_64_VSEG_SHIFT;
18127edd504SSong Gao } else {
18227edd504SSong Gao base_v = address >> R_CSR_DMW_32_VSEG_SHIFT;
18327edd504SSong Gao }
18427edd504SSong Gao /* Check direct map window */
18527edd504SSong Gao for (int i = 0; i < 4; i++) {
18627edd504SSong Gao if (is_la64(env)) {
18727edd504SSong Gao base_c = FIELD_EX64(env->CSR_DMW[i], CSR_DMW_64, VSEG);
18827edd504SSong Gao } else {
18927edd504SSong Gao base_c = FIELD_EX64(env->CSR_DMW[i], CSR_DMW_32, VSEG);
19027edd504SSong Gao }
19127edd504SSong Gao if ((plv & env->CSR_DMW[i]) && (base_c == base_v)) {
19227edd504SSong Gao *physical = dmw_va2pa(env, address, env->CSR_DMW[i]);
19327edd504SSong Gao *prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
19427edd504SSong Gao return TLBRET_MATCH;
19527edd504SSong Gao }
19627edd504SSong Gao }
19727edd504SSong Gao
19827edd504SSong Gao /* Check valid extension */
19927edd504SSong Gao addr_high = sextract64(address, TARGET_VIRT_ADDR_SPACE_BITS, 16);
20027edd504SSong Gao if (!(addr_high == 0 || addr_high == -1)) {
20127edd504SSong Gao return TLBRET_BADADDR;
20227edd504SSong Gao }
20327edd504SSong Gao
20427edd504SSong Gao /* Mapped address */
20527edd504SSong Gao return loongarch_map_address(env, physical, prot, address,
206dd291171SMiao Hao access_type, mmu_idx, is_debug);
20727edd504SSong Gao }
20827edd504SSong Gao
loongarch_cpu_get_phys_page_debug(CPUState * cs,vaddr addr)20927edd504SSong Gao hwaddr loongarch_cpu_get_phys_page_debug(CPUState *cs, vaddr addr)
21027edd504SSong Gao {
211f3b603b9SPhilippe Mathieu-Daudé CPULoongArchState *env = cpu_env(cs);
21227edd504SSong Gao hwaddr phys_addr;
21327edd504SSong Gao int prot;
21427edd504SSong Gao
21527edd504SSong Gao if (get_physical_address(env, &phys_addr, &prot, addr, MMU_DATA_LOAD,
216dd291171SMiao Hao cpu_mmu_index(cs, false), 1) != 0) {
21727edd504SSong Gao return -1;
21827edd504SSong Gao }
21927edd504SSong Gao return phys_addr;
22027edd504SSong Gao }
221