Home
last modified time | relevance | path

Searched refs:TCR_EPD1_BIT (Results 1 – 5 of 5) sorted by relevance

/rk3399_ARM-atf/lib/xlat_tables/aarch64/
H A Dxlat_tables.c223 TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT),
/rk3399_ARM-atf/lib/xlat_tables_v2/aarch64/
H A Dxlat_tables_arch.c299 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in setup_mmu_cfg()
/rk3399_ARM-atf/include/arch/aarch64/
H A Darch_helpers.h1004 write_tcr_el1(read_tcr_el1() & ~(TCR_EPD0_BIT | TCR_EPD1_BIT)); \
1007 write_tcr_el1(read_tcr_el1() | (TCR_EPD0_BIT | TCR_EPD1_BIT)); \
H A Darch.h1072 #define TCR_EPD1_BIT (ULL(1) << 23)
1070 #define TCR_EPD1_BIT global() macro
/rk3399_ARM-atf/lib/el3_runtime/aarch64/
H A Dcontext.S545 orr x29, x29, #(TCR_EPD1_BIT)