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