xref: /openbmc/linux/arch/csky/abiv1/inc/abi/ckmmu.h (revision 6607aa6f)
1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef __ASM_CSKY_CKMMUV1_H
4 #define __ASM_CSKY_CKMMUV1_H
5 #include <abi/reg_ops.h>
6 
read_mmu_index(void)7 static inline int read_mmu_index(void)
8 {
9 	return cprcr("cpcr0");
10 }
11 
write_mmu_index(int value)12 static inline void write_mmu_index(int value)
13 {
14 	cpwcr("cpcr0", value);
15 }
16 
read_mmu_entrylo0(void)17 static inline int read_mmu_entrylo0(void)
18 {
19 	return cprcr("cpcr2") << 6;
20 }
21 
read_mmu_entrylo1(void)22 static inline int read_mmu_entrylo1(void)
23 {
24 	return cprcr("cpcr3") << 6;
25 }
26 
write_mmu_pagemask(int value)27 static inline void write_mmu_pagemask(int value)
28 {
29 	cpwcr("cpcr6", value);
30 }
31 
read_mmu_entryhi(void)32 static inline int read_mmu_entryhi(void)
33 {
34 	return cprcr("cpcr4");
35 }
36 
write_mmu_entryhi(int value)37 static inline void write_mmu_entryhi(int value)
38 {
39 	cpwcr("cpcr4", value);
40 }
41 
read_mmu_msa0(void)42 static inline unsigned long read_mmu_msa0(void)
43 {
44 	return cprcr("cpcr30");
45 }
46 
write_mmu_msa0(unsigned long value)47 static inline void write_mmu_msa0(unsigned long value)
48 {
49 	cpwcr("cpcr30", value);
50 }
51 
read_mmu_msa1(void)52 static inline unsigned long read_mmu_msa1(void)
53 {
54 	return cprcr("cpcr31");
55 }
56 
write_mmu_msa1(unsigned long value)57 static inline void write_mmu_msa1(unsigned long value)
58 {
59 	cpwcr("cpcr31", value);
60 }
61 
62 /*
63  * TLB operations.
64  */
tlb_probe(void)65 static inline void tlb_probe(void)
66 {
67 	cpwcr("cpcr8", 0x80000000);
68 }
69 
tlb_read(void)70 static inline void tlb_read(void)
71 {
72 	cpwcr("cpcr8", 0x40000000);
73 }
74 
tlb_invalid_all(void)75 static inline void tlb_invalid_all(void)
76 {
77 	cpwcr("cpcr8", 0x04000000);
78 }
79 
80 
local_tlb_invalid_all(void)81 static inline void local_tlb_invalid_all(void)
82 {
83 	tlb_invalid_all();
84 }
85 
tlb_invalid_indexed(void)86 static inline void tlb_invalid_indexed(void)
87 {
88 	cpwcr("cpcr8", 0x02000000);
89 }
90 
setup_pgd(pgd_t * pgd,int asid)91 static inline void setup_pgd(pgd_t *pgd, int asid)
92 {
93 	cpwcr("cpcr29", __pa(pgd) | BIT(0));
94 	write_mmu_entryhi(asid);
95 }
96 
get_pgd(void)97 static inline pgd_t *get_pgd(void)
98 {
99 	return __va(cprcr("cpcr29") & ~BIT(0));
100 }
101 #endif /* __ASM_CSKY_CKMMUV1_H */
102