Searched refs:TCR_EPD0 (Results 1 – 7 of 7) sorted by relevance
538 reg_tcr_el1_write(old_tcrel1 | TCR_EPD0); in pmap_md_xtab_activate()551 reg_tcr_el1_write(old_tcrel1 & ~TCR_EPD0); in pmap_md_xtab_activate()577 reg_tcr_el1_write(old_tcrel1 | TCR_EPD0); in pmap_md_xtab_deactivate()
1410 reg_tcr_el1_write(tcr & ~TCR_EPD0); in pmap_activate_efirt()1429 KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0); in pmap_activate()1446 reg_tcr_el1_write(tcr & ~TCR_EPD0); in pmap_activate()1467 reg_tcr_el1_write(tcr | TCR_EPD0); in pmap_deactivate_efirt()1496 reg_tcr_el1_write(tcr | TCR_EPD0); in pmap_deactivate()
140 define TCR_EPD0 TCR_EPD0
768 KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);
179 reg_tcr_el1_write(tcr | TCR_EPD0); in cpu_kernel_vm_init()
482 orr x0, x0, #TCR_EPD0
1144 #define TCR_EPD0 __BIT(7) /* Walk Disable for TTBR0 */ macro