Home
last modified time | relevance | path

Searched refs:TCR_EPD0_BIT (Results 1 – 3 of 3) sorted by relevance

/external/arm-trusted-firmware/include/arch/aarch64/
Darch_helpers.h608 write_tcr_el1(read_tcr_el1() & ~(TCR_EPD0_BIT | TCR_EPD1_BIT)); \
611 write_tcr_el1(read_tcr_el1() | (TCR_EPD0_BIT | TCR_EPD1_BIT)); \
Darch.h649 #define TCR_EPD0_BIT (ULL(1) << 7) macro
/external/arm-trusted-firmware/lib/el3_runtime/aarch64/
Dcontext.S922 orr x29, x29, #(TCR_EPD0_BIT)