Searched refs:TCR_E0PD1 (Results 1 – 2 of 2) sorted by relevance
284 #define TCR_E0PD1 (UL(1) << 56) macro
2102 sysreg_clear_set(tcr_el1, 0, TCR_E0PD1); in cpu_enable_e0pd()