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

  /src/sys/arch/aarch64/aarch64/
pmap_machdep.c 538 reg_tcr_el1_write(old_tcrel1 | TCR_EPD0);
551 reg_tcr_el1_write(old_tcrel1 & ~TCR_EPD0);
577 reg_tcr_el1_write(old_tcrel1 | TCR_EPD0);
pmap.c 1410 reg_tcr_el1_write(tcr & ~TCR_EPD0);
1429 KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);
1446 reg_tcr_el1_write(tcr & ~TCR_EPD0);
1467 reg_tcr_el1_write(tcr | TCR_EPD0);
1496 reg_tcr_el1_write(tcr | TCR_EPD0);
cpu.c 770 KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);
aarch64_machdep.c 180 reg_tcr_el1_write(tcr | TCR_EPD0);
locore.S 481 orr x0, x0, #TCR_EPD0
  /src/sys/arch/aarch64/include/
armreg.h 1175 #define TCR_EPD0 __BIT(7) /* Walk Disable for TTBR0 */

Completed in 43 milliseconds