1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
|
/* $OpenBSD: cacheops_40.h,v 1.3 2001/05/15 01:43:14 millert Exp $ */
/* $NetBSD: cacheops_40.h,v 1.1 1997/06/02 20:26:41 leo Exp $ */
/*-
* Copyright (c) 1997 The NetBSD Foundation, Inc.
* All rights reserved.
*
* This code is derived from software contributed to The NetBSD Foundation
* by Leo Weppelman
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* 3. All advertising materials mentioning features or use of this software
* must display the following acknowledgement:
* This product includes software developed by the NetBSD
* Foundation, Inc. and its contributors.
* 4. Neither the name of The NetBSD Foundation nor the names of its
* contributors may be used to endorse or promote products derived
* from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
* ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*/
/*
* Invalidate entire TLB.
*/
void TBIA_40 __P((void));
extern __inline__ void
TBIA_40()
{
__asm __volatile (" .word 0xf518" ); /* pflusha */
}
/*
* Invalidate any TLB entry for given VA (TB Invalidate Single)
*/
void TBIS_40 __P((vaddr_t));
extern __inline__ void
TBIS_40(va)
vaddr_t va;
{
register vaddr_t r_va __asm("a0") = va;
int tmp;
__asm __volatile (" movc %1, dfc;" /* select supervisor */
" .word 0xf508;" /* pflush a0@ */
" moveq %3, %1;" /* select user */
" movc %1, dfc;"
" .word 0xf508;" : "=d" (tmp) :
"0" (FC_SUPERD), "a" (r_va), "i" (FC_USERD));
}
/*
* Invalidate supervisor side of TLB
*/
void TBIAS_40 __P((void));
extern __inline__ void
TBIAS_40()
{
/*
* Cannot specify supervisor/user on pflusha, so we flush all
*/
__asm __volatile (" .word 0xf518;");
}
/*
* Invalidate user side of TLB
*/
void TBIAU_40 __P((void));
extern __inline__ void
TBIAU_40()
{
/*
* Cannot specify supervisor/user on pflusha, so we flush all
*/
__asm __volatile (" .word 0xf518;");
}
/*
* Invalidate instruction cache
*/
void ICIA_40 __P((void));
extern __inline__ void
ICIA_40()
{
__asm __volatile (" .word 0xf498;"); /* cinva ic */
}
void ICPA_40 __P((void));
extern __inline__ void
ICPA_40()
{
__asm __volatile (" .word 0xf498;"); /* cinva ic */
}
/*
* Invalidate data cache.
*/
void DCIA_40 __P((void));
extern __inline__ void
DCIA_40()
{
__asm __volatile (" .word 0xf478;"); /* cpusha dc */
}
void DCIS_40 __P((void));
extern __inline__ void
DCIS_40()
{
__asm __volatile (" .word 0xf478;"); /* cpusha dc */
}
void DCIU_40 __P((void));
extern __inline__ void
DCIU_40()
{
__asm __volatile (" .word 0xf478;"); /* cpusha dc */
}
void DCIAS_40 __P((paddr_t));
extern __inline__ void
DCIAS_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf468;" : : "a" (r_pa)); /* cpushl dc,a0@ */
}
void PCIA_40 __P((void));
extern __inline__ void
PCIA_40()
{
__asm __volatile (" .word 0xf478;"); /* cpusha dc */
}
void DCFA_40 __P((void));
extern __inline__ void
DCFA_40()
{
__asm __volatile (" .word 0xf478;"); /* cpusha dc */
}
/* invalidate instruction physical cache line */
void ICPL_40 __P((paddr_t));
extern __inline__ void
ICPL_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf488;" : : "a" (r_pa)); /* cinvl ic,a0@ */
}
/* invalidate instruction physical cache page */
void ICPP_40 __P((paddr_t));
extern __inline__ void
ICPP_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf490;" : : "a" (r_pa)); /* cinvp ic,a0@ */
}
/* invalidate data physical cache line */
void DCPL_40 __P((paddr_t));
extern __inline__ void
DCPL_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf448;" : : "a" (r_pa)); /* cinvl dc,a0@ */
}
/* invalidate data physical cache page */
void DCPP_40 __P((paddr_t));
extern __inline__ void
DCPP_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf450;" : : "a" (r_pa)); /* cinvp dc,a0@ */
}
/* invalidate data physical all */
void DCPA_40 __P((void));
extern __inline__ void
DCPA_40()
{
__asm __volatile (" .word 0xf458;"); /* cinva dc */
}
/* data cache flush line */
void DCFL_40 __P((paddr_t));
extern __inline__ void
DCFL_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf468;" : : "a" (r_pa)); /* cpushl dc,a0@ */
}
/* data cache flush page */
void DCFP_40 __P((paddr_t));
extern __inline__ void
DCFP_40(pa)
paddr_t pa;
{
register paddr_t r_pa __asm("a0") = pa;
__asm __volatile (" .word 0xf470;" : : "a" (r_pa)); /* cpushp dc,a0@ */
}
|
