HomeSort by: relevance | last modified time | path
    Searched refs:TTBCR_S_PD0 (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/arch/arm/arm/
ast.c 82 if (__predict_false(armreg_ttbcr_read() & TTBCR_S_PD0)) {
85 KASSERT(!(armreg_ttbcr_read() & TTBCR_S_PD0));
  /src/sys/arch/arm/arm32/
arm32_tlb.c 57 armreg_ttbcr_write(armreg_ttbcr_read() | TTBCR_S_PD0);
arm32_machdep.c 790 armreg_ttbcr_write(armreg_ttbcr_read() | TTBCR_S_PD0);
arm32_kvminit.c 1080 armreg_ttbcr_write(armreg_ttbcr_read() | TTBCR_S_PD0);
pmap.c 4935 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
4948 armreg_ttbcr_write(old_ttbcr & ~TTBCR_S_PD0);
4971 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
5009 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
5021 armreg_ttbcr_write(old_ttbcr & ~TTBCR_S_PD0);
5236 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
  /src/sys/arch/arm/include/
armreg.h 536 #define TTBCR_S_PD0 __BIT(4) // Don't use TTBR0

Completed in 21 milliseconds