2 * Copyright 2014 Svatopluk Kraus <onwahe@gmail.com>
3 * Copyright 2014 Michal Meloun <meloun@miracle.cz>
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 #ifndef MACHINE_CPU_V6_H
30 #define MACHINE_CPU_V6_H
32 /* There are no user serviceable parts here, they may change without notice */
34 #error Only include this file in the kernel
37 #include <machine/atomic.h>
38 #include <machine/cpufunc.h>
39 #include <machine/cpuinfo.h>
40 #include <machine/sysreg.h>
43 #error Only include this file for ARMv6
47 * Some kernel modules (dtrace all for example) are compiled
48 * unconditionally with -DSMP. Although it looks like a bug,
49 * handle this case here and in #elif condition in ARM_SMP_UP macro.
51 #if __ARM_ARCH <= 6 && defined(SMP) && !defined(KLD_MODULE)
52 #error SMP option is not supported on ARMv6
55 #if __ARM_ARCH <= 6 && defined(SMP_ON_UP)
56 #error SMP_ON_UP option is only supported on ARMv7+ CPUs
59 #if !defined(SMP) && defined(SMP_ON_UP)
60 #error SMP option must be defined for SMP_ON_UP option
63 #define CPU_ASID_KERNEL 0
65 #if defined(SMP_ON_UP)
66 #define ARM_SMP_UP(smp_code, up_code) \
68 if (cpuinfo.mp_ext != 0) { \
74 #elif defined(SMP) && __ARM_ARCH > 6
75 #define ARM_SMP_UP(smp_code, up_code) \
80 #define ARM_SMP_UP(smp_code, up_code) \
86 void dcache_wbinv_poc_all(void); /* !!! NOT SMP coherent function !!! */
87 vm_offset_t dcache_wb_pou_checked(vm_offset_t, vm_size_t);
88 vm_offset_t icache_inv_pou_checked(vm_offset_t, vm_size_t);
92 #define PMU_OVSR_C 0x80000000 /* Cycle Counter */
93 extern uint32_t ccnt_hi[MAXCPU];
94 extern int pmu_attched;
97 #define sev() __asm __volatile("sev" : : : "memory")
98 #define wfe() __asm __volatile("wfe" : : : "memory")
101 * Macros to generate CP15 (system control processor) read/write functions.
105 #define _RF0(fname, aname...) \
106 static __inline register_t \
110 __asm __volatile("mrc\t" _FX(aname): "=r" (reg)); \
114 #define _R64F0(fname, aname) \
115 static __inline uint64_t \
119 __asm __volatile("mrrc\t" _FX(aname): "=r" (reg)); \
123 #define _WF0(fname, aname...) \
124 static __inline void \
127 __asm __volatile("mcr\t" _FX(aname)); \
130 #define _WF1(fname, aname...) \
131 static __inline void \
132 fname(register_t reg) \
134 __asm __volatile("mcr\t" _FX(aname):: "r" (reg)); \
137 #define _W64F1(fname, aname...) \
138 static __inline void \
139 fname(uint64_t reg) \
141 __asm __volatile("mcrr\t" _FX(aname):: "r" (reg)); \
145 * Raw CP15 maintenance operations
146 * !!! not for external use !!!
151 _WF0(_CP15_TLBIALL, CP15_TLBIALL) /* Invalidate entire unified TLB */
152 #if __ARM_ARCH >= 7 && defined(SMP)
153 _WF0(_CP15_TLBIALLIS, CP15_TLBIALLIS) /* Invalidate entire unified TLB IS */
155 _WF1(_CP15_TLBIASID, CP15_TLBIASID(%0)) /* Invalidate unified TLB by ASID */
156 #if __ARM_ARCH >= 7 && defined(SMP)
157 _WF1(_CP15_TLBIASIDIS, CP15_TLBIASIDIS(%0)) /* Invalidate unified TLB by ASID IS */
159 _WF1(_CP15_TLBIMVAA, CP15_TLBIMVAA(%0)) /* Invalidate unified TLB by MVA, all ASID */
160 #if __ARM_ARCH >= 7 && defined(SMP)
161 _WF1(_CP15_TLBIMVAAIS, CP15_TLBIMVAAIS(%0)) /* Invalidate unified TLB by MVA, all ASID IS */
163 _WF1(_CP15_TLBIMVA, CP15_TLBIMVA(%0)) /* Invalidate unified TLB by MVA */
165 _WF1(_CP15_TTB_SET, CP15_TTBR0(%0))
167 /* Cache and Branch predictor */
169 _WF0(_CP15_BPIALL, CP15_BPIALL) /* Branch predictor invalidate all */
170 #if __ARM_ARCH >= 7 && defined(SMP)
171 _WF0(_CP15_BPIALLIS, CP15_BPIALLIS) /* Branch predictor invalidate all IS */
173 _WF1(_CP15_BPIMVA, CP15_BPIMVA(%0)) /* Branch predictor invalidate by MVA */
174 _WF1(_CP15_DCCIMVAC, CP15_DCCIMVAC(%0)) /* Data cache clean and invalidate by MVA PoC */
175 _WF1(_CP15_DCCISW, CP15_DCCISW(%0)) /* Data cache clean and invalidate by set/way */
176 _WF1(_CP15_DCCMVAC, CP15_DCCMVAC(%0)) /* Data cache clean by MVA PoC */
178 _WF1(_CP15_DCCMVAU, CP15_DCCMVAU(%0)) /* Data cache clean by MVA PoU */
180 _WF1(_CP15_DCCSW, CP15_DCCSW(%0)) /* Data cache clean by set/way */
181 _WF1(_CP15_DCIMVAC, CP15_DCIMVAC(%0)) /* Data cache invalidate by MVA PoC */
182 _WF1(_CP15_DCISW, CP15_DCISW(%0)) /* Data cache invalidate by set/way */
183 _WF0(_CP15_ICIALLU, CP15_ICIALLU) /* Instruction cache invalidate all PoU */
184 #if __ARM_ARCH >= 7 && defined(SMP)
185 _WF0(_CP15_ICIALLUIS, CP15_ICIALLUIS) /* Instruction cache invalidate all PoU IS */
187 _WF1(_CP15_ICIMVAU, CP15_ICIMVAU(%0)) /* Instruction cache invalidate */
190 * Publicly accessible functions
193 /* CP14 Debug Registers */
194 _RF0(cp14_dbgdidr_get, CP14_DBGDIDR(%0))
195 _RF0(cp14_dbgprsr_get, CP14_DBGPRSR(%0))
196 _RF0(cp14_dbgoslsr_get, CP14_DBGOSLSR(%0))
197 _RF0(cp14_dbgosdlr_get, CP14_DBGOSDLR(%0))
198 _RF0(cp14_dbgdscrint_get, CP14_DBGDSCRint(%0))
200 _WF1(cp14_dbgdscr_v6_set, CP14_DBGDSCRext_V6(%0))
201 _WF1(cp14_dbgdscr_v7_set, CP14_DBGDSCRext_V7(%0))
202 _WF1(cp14_dbgvcr_set, CP14_DBGVCR(%0))
203 _WF1(cp14_dbgoslar_set, CP14_DBGOSLAR(%0))
205 /* Various control registers */
207 _RF0(cp15_cpacr_get, CP15_CPACR(%0))
208 _WF1(cp15_cpacr_set, CP15_CPACR(%0))
209 _RF0(cp15_dfsr_get, CP15_DFSR(%0))
210 _RF0(cp15_ifsr_get, CP15_IFSR(%0))
211 _WF1(cp15_prrr_set, CP15_PRRR(%0))
212 _WF1(cp15_nmrr_set, CP15_NMRR(%0))
213 _RF0(cp15_ttbr_get, CP15_TTBR0(%0))
214 _RF0(cp15_dfar_get, CP15_DFAR(%0))
216 _RF0(cp15_ifar_get, CP15_IFAR(%0))
217 _RF0(cp15_l2ctlr_get, CP15_L2CTLR(%0))
219 _RF0(cp15_actlr_get, CP15_ACTLR(%0))
220 _WF1(cp15_actlr_set, CP15_ACTLR(%0))
221 _WF1(cp15_ats1cpr_set, CP15_ATS1CPR(%0))
222 _WF1(cp15_ats1cpw_set, CP15_ATS1CPW(%0))
223 _WF1(cp15_ats1cur_set, CP15_ATS1CUR(%0))
224 _WF1(cp15_ats1cuw_set, CP15_ATS1CUW(%0))
225 _RF0(cp15_par_get, CP15_PAR(%0))
226 _RF0(cp15_sctlr_get, CP15_SCTLR(%0))
228 /*CPU id registers */
229 _RF0(cp15_midr_get, CP15_MIDR(%0))
230 _RF0(cp15_ctr_get, CP15_CTR(%0))
231 _RF0(cp15_tcmtr_get, CP15_TCMTR(%0))
232 _RF0(cp15_tlbtr_get, CP15_TLBTR(%0))
233 _RF0(cp15_mpidr_get, CP15_MPIDR(%0))
234 _RF0(cp15_revidr_get, CP15_REVIDR(%0))
235 _RF0(cp15_ccsidr_get, CP15_CCSIDR(%0))
236 _RF0(cp15_clidr_get, CP15_CLIDR(%0))
237 _RF0(cp15_aidr_get, CP15_AIDR(%0))
238 _WF1(cp15_csselr_set, CP15_CSSELR(%0))
239 _RF0(cp15_id_pfr0_get, CP15_ID_PFR0(%0))
240 _RF0(cp15_id_pfr1_get, CP15_ID_PFR1(%0))
241 _RF0(cp15_id_dfr0_get, CP15_ID_DFR0(%0))
242 _RF0(cp15_id_afr0_get, CP15_ID_AFR0(%0))
243 _RF0(cp15_id_mmfr0_get, CP15_ID_MMFR0(%0))
244 _RF0(cp15_id_mmfr1_get, CP15_ID_MMFR1(%0))
245 _RF0(cp15_id_mmfr2_get, CP15_ID_MMFR2(%0))
246 _RF0(cp15_id_mmfr3_get, CP15_ID_MMFR3(%0))
247 _RF0(cp15_id_isar0_get, CP15_ID_ISAR0(%0))
248 _RF0(cp15_id_isar1_get, CP15_ID_ISAR1(%0))
249 _RF0(cp15_id_isar2_get, CP15_ID_ISAR2(%0))
250 _RF0(cp15_id_isar3_get, CP15_ID_ISAR3(%0))
251 _RF0(cp15_id_isar4_get, CP15_ID_ISAR4(%0))
252 _RF0(cp15_id_isar5_get, CP15_ID_ISAR5(%0))
253 _RF0(cp15_cbar_get, CP15_CBAR(%0))
255 /* Performance Monitor registers */
257 #if __ARM_ARCH == 6 && defined(CPU_ARM1176)
258 _RF0(cp15_pmuserenr_get, CP15_PMUSERENR(%0))
259 _WF1(cp15_pmuserenr_set, CP15_PMUSERENR(%0))
260 _RF0(cp15_pmcr_get, CP15_PMCR(%0))
261 _WF1(cp15_pmcr_set, CP15_PMCR(%0))
262 _RF0(cp15_pmccntr_get, CP15_PMCCNTR(%0))
263 _WF1(cp15_pmccntr_set, CP15_PMCCNTR(%0))
265 _RF0(cp15_pmcr_get, CP15_PMCR(%0))
266 _WF1(cp15_pmcr_set, CP15_PMCR(%0))
267 _RF0(cp15_pmcnten_get, CP15_PMCNTENSET(%0))
268 _WF1(cp15_pmcnten_set, CP15_PMCNTENSET(%0))
269 _WF1(cp15_pmcnten_clr, CP15_PMCNTENCLR(%0))
270 _RF0(cp15_pmovsr_get, CP15_PMOVSR(%0))
271 _WF1(cp15_pmovsr_set, CP15_PMOVSR(%0))
272 _WF1(cp15_pmswinc_set, CP15_PMSWINC(%0))
273 _RF0(cp15_pmselr_get, CP15_PMSELR(%0))
274 _WF1(cp15_pmselr_set, CP15_PMSELR(%0))
275 _RF0(cp15_pmccntr_get, CP15_PMCCNTR(%0))
276 _WF1(cp15_pmccntr_set, CP15_PMCCNTR(%0))
277 _RF0(cp15_pmxevtyper_get, CP15_PMXEVTYPER(%0))
278 _WF1(cp15_pmxevtyper_set, CP15_PMXEVTYPER(%0))
279 _RF0(cp15_pmxevcntr_get, CP15_PMXEVCNTRR(%0))
280 _WF1(cp15_pmxevcntr_set, CP15_PMXEVCNTRR(%0))
281 _RF0(cp15_pmuserenr_get, CP15_PMUSERENR(%0))
282 _WF1(cp15_pmuserenr_set, CP15_PMUSERENR(%0))
283 _RF0(cp15_pminten_get, CP15_PMINTENSET(%0))
284 _WF1(cp15_pminten_set, CP15_PMINTENSET(%0))
285 _WF1(cp15_pminten_clr, CP15_PMINTENCLR(%0))
288 _RF0(cp15_tpidrurw_get, CP15_TPIDRURW(%0))
289 _WF1(cp15_tpidrurw_set, CP15_TPIDRURW(%0))
290 _RF0(cp15_tpidruro_get, CP15_TPIDRURO(%0))
291 _WF1(cp15_tpidruro_set, CP15_TPIDRURO(%0))
292 _RF0(cp15_tpidrpwr_get, CP15_TPIDRPRW(%0))
293 _WF1(cp15_tpidrpwr_set, CP15_TPIDRPRW(%0))
295 /* Generic Timer registers - only use when you know the hardware is available */
296 _RF0(cp15_cntfrq_get, CP15_CNTFRQ(%0))
297 _WF1(cp15_cntfrq_set, CP15_CNTFRQ(%0))
298 _RF0(cp15_cntkctl_get, CP15_CNTKCTL(%0))
299 _WF1(cp15_cntkctl_set, CP15_CNTKCTL(%0))
300 _RF0(cp15_cntp_tval_get, CP15_CNTP_TVAL(%0))
301 _WF1(cp15_cntp_tval_set, CP15_CNTP_TVAL(%0))
302 _RF0(cp15_cntp_ctl_get, CP15_CNTP_CTL(%0))
303 _WF1(cp15_cntp_ctl_set, CP15_CNTP_CTL(%0))
304 _RF0(cp15_cntv_tval_get, CP15_CNTV_TVAL(%0))
305 _WF1(cp15_cntv_tval_set, CP15_CNTV_TVAL(%0))
306 _RF0(cp15_cntv_ctl_get, CP15_CNTV_CTL(%0))
307 _WF1(cp15_cntv_ctl_set, CP15_CNTV_CTL(%0))
308 _RF0(cp15_cnthctl_get, CP15_CNTHCTL(%0))
309 _WF1(cp15_cnthctl_set, CP15_CNTHCTL(%0))
310 _RF0(cp15_cnthp_tval_get, CP15_CNTHP_TVAL(%0))
311 _WF1(cp15_cnthp_tval_set, CP15_CNTHP_TVAL(%0))
312 _RF0(cp15_cnthp_ctl_get, CP15_CNTHP_CTL(%0))
313 _WF1(cp15_cnthp_ctl_set, CP15_CNTHP_CTL(%0))
315 _R64F0(cp15_cntpct_get, CP15_CNTPCT(%Q0, %R0))
316 _R64F0(cp15_cntvct_get, CP15_CNTVCT(%Q0, %R0))
317 _R64F0(cp15_cntp_cval_get, CP15_CNTP_CVAL(%Q0, %R0))
318 _W64F1(cp15_cntp_cval_set, CP15_CNTP_CVAL(%Q0, %R0))
319 _R64F0(cp15_cntv_cval_get, CP15_CNTV_CVAL(%Q0, %R0))
320 _W64F1(cp15_cntv_cval_set, CP15_CNTV_CVAL(%Q0, %R0))
321 _R64F0(cp15_cntvoff_get, CP15_CNTVOFF(%Q0, %R0))
322 _W64F1(cp15_cntvoff_set, CP15_CNTVOFF(%Q0, %R0))
323 _R64F0(cp15_cnthp_cval_get, CP15_CNTHP_CVAL(%Q0, %R0))
324 _W64F1(cp15_cnthp_cval_set, CP15_CNTHP_CVAL(%Q0, %R0))
332 * TLB maintenance operations.
335 /* Local (i.e. not broadcasting ) operations. */
337 /* Flush all TLB entries (even global). */
339 tlb_flush_all_local(void)
347 /* Flush all not global TLB entries. */
349 tlb_flush_all_ng_local(void)
353 _CP15_TLBIASID(CPU_ASID_KERNEL);
357 /* Flush single TLB entry (even global). */
359 tlb_flush_local(vm_offset_t va)
362 KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va));
365 _CP15_TLBIMVA(va | CPU_ASID_KERNEL);
369 /* Flush range of TLB entries (even global). */
371 tlb_flush_range_local(vm_offset_t va, vm_size_t size)
373 vm_offset_t eva = va + size;
375 KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va));
376 KASSERT((size & PAGE_MASK) == 0, ("%s: size %#x not aligned", __func__,
380 for (; va < eva; va += PAGE_SIZE)
381 _CP15_TLBIMVA(va | CPU_ASID_KERNEL);
385 /* Broadcasting operations. */
386 #if __ARM_ARCH >= 7 && defined(SMP)
401 tlb_flush_all_ng(void)
406 _CP15_TLBIASIDIS(CPU_ASID_KERNEL),
407 _CP15_TLBIASID(CPU_ASID_KERNEL)
413 tlb_flush(vm_offset_t va)
416 KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va));
420 _CP15_TLBIMVAAIS(va),
421 _CP15_TLBIMVA(va | CPU_ASID_KERNEL)
427 tlb_flush_range(vm_offset_t va, vm_size_t size)
429 vm_offset_t eva = va + size;
431 KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va));
432 KASSERT((size & PAGE_MASK) == 0, ("%s: size %#x not aligned", __func__,
438 for (; va < eva; va += PAGE_SIZE)
439 _CP15_TLBIMVAAIS(va);
442 for (; va < eva; va += PAGE_SIZE)
443 _CP15_TLBIMVA(va | CPU_ASID_KERNEL);
448 #else /* __ARM_ARCH < 7 */
450 #define tlb_flush_all() tlb_flush_all_local()
451 #define tlb_flush_all_ng() tlb_flush_all_ng_local()
452 #define tlb_flush(va) tlb_flush_local(va)
453 #define tlb_flush_range(va, size) tlb_flush_range_local(va, size)
455 #endif /* __ARM_ARCH < 7 */
458 * Cache maintenance operations.
461 /* Sync I and D caches to PoU */
463 icache_sync(vm_offset_t va, vm_size_t size)
465 vm_offset_t eva = va + size;
468 va &= ~cpuinfo.dcache_line_mask;
470 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
486 /* Invalidate I cache */
499 /* Invalidate branch predictor buffer */
512 /* Write back D-cache to PoU */
514 dcache_wb_pou(vm_offset_t va, vm_size_t size)
516 vm_offset_t eva = va + size;
519 va &= ~cpuinfo.dcache_line_mask;
520 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
531 * Invalidate D-cache to PoC
533 * Caches are invalidated from outermost to innermost as fresh cachelines
534 * flow in this direction. In given range, if there was no dirty cacheline
535 * in any cache before, no stale cacheline should remain in them after this
536 * operation finishes.
539 dcache_inv_poc(vm_offset_t va, vm_paddr_t pa, vm_size_t size)
541 vm_offset_t eva = va + size;
544 /* invalidate L2 first */
545 cpu_l2cache_inv_range(pa, size);
548 va &= ~cpuinfo.dcache_line_mask;
549 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
556 * Discard D-cache lines to PoC, prior to overwrite by DMA engine.
558 * Normal invalidation does L2 then L1 to ensure that stale data from L2 doesn't
559 * flow into L1 while invalidating. This routine is intended to be used only
560 * when invalidating a buffer before a DMA operation loads new data into memory.
561 * The concern in this case is that dirty lines are not evicted to main memory,
562 * overwriting the DMA data. For that reason, the L1 is done first to ensure
563 * that an evicted L1 line doesn't flow to L2 after the L2 has been cleaned.
566 dcache_inv_poc_dma(vm_offset_t va, vm_paddr_t pa, vm_size_t size)
568 vm_offset_t eva = va + size;
570 /* invalidate L1 first */
572 va &= ~cpuinfo.dcache_line_mask;
573 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
579 cpu_l2cache_inv_range(pa, size);
583 * Write back D-cache to PoC
585 * Caches are written back from innermost to outermost as dirty cachelines
586 * flow in this direction. In given range, no dirty cacheline should remain
587 * in any cache after this operation finishes.
590 dcache_wb_poc(vm_offset_t va, vm_paddr_t pa, vm_size_t size)
592 vm_offset_t eva = va + size;
595 va &= ~cpuinfo.dcache_line_mask;
596 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
601 cpu_l2cache_wb_range(pa, size);
604 /* Write back and invalidate D-cache to PoC */
606 dcache_wbinv_poc(vm_offset_t sva, vm_paddr_t pa, vm_size_t size)
609 vm_offset_t eva = sva + size;
612 /* write back L1 first */
613 va = sva & ~cpuinfo.dcache_line_mask;
614 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
619 /* then write back and invalidate L2 */
620 cpu_l2cache_wbinv_range(pa, size);
622 /* then invalidate L1 */
623 va = sva & ~cpuinfo.dcache_line_mask;
624 for ( ; va < eva; va += cpuinfo.dcache_line_size) {
630 /* Set TTB0 register */
632 cp15_ttbr_set(uint32_t reg)
640 tlb_flush_all_ng_local();
644 * Functions for address checking:
646 * cp15_ats1cpr_check() ... check stage 1 privileged (PL1) read access
647 * cp15_ats1cpw_check() ... check stage 1 privileged (PL1) write access
648 * cp15_ats1cur_check() ... check stage 1 unprivileged (PL0) read access
649 * cp15_ats1cuw_check() ... check stage 1 unprivileged (PL0) write access
651 * They must be called while interrupts are disabled to get consistent result.
654 cp15_ats1cpr_check(vm_offset_t addr)
657 cp15_ats1cpr_set(addr);
659 return (cp15_par_get() & 0x01 ? EFAULT : 0);
663 cp15_ats1cpw_check(vm_offset_t addr)
666 cp15_ats1cpw_set(addr);
668 return (cp15_par_get() & 0x01 ? EFAULT : 0);
672 cp15_ats1cur_check(vm_offset_t addr)
675 cp15_ats1cur_set(addr);
677 return (cp15_par_get() & 0x01 ? EFAULT : 0);
681 cp15_ats1cuw_check(vm_offset_t addr)
684 cp15_ats1cuw_set(addr);
686 return (cp15_par_get() & 0x01 ? EFAULT : 0);
689 #endif /* !MACHINE_CPU_V6_H */