sys/arch/aarch64/aarch64/aarch64_machdep.c

180

reg_tcr_el1_write(tcr | TCR_EPD0);

sys/arch/aarch64/aarch64/aarch64_tlb.c

49

return (reg_tcr_el1_read() & TCR_EPD0) != 0 ?

sys/arch/aarch64/aarch64/cpu.c

782

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/aarch64/pmap.c

1401

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/aarch64/pmap.c

1423

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/aarch64/pmap.c

1454

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/aarch64/pmap.c

1480

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/aarch64/pmap_machdep.c

581

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/include/pmap.h

417

KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);

sys/arch/aarch64/include/pmap.h

429

reg_tcr_el1_write(tcr_el1 & ~TCR_EPD0);

sys/arch/aarch64/include/pmap.h

443

reg_tcr_el1_write(tcr_el1 | TCR_EPD0);