Searched refs:TCR_E0PD1 (Results 1 – 3 of 3) sorted by relevance
863 if (is_el0 && (paging->tcr_el1 & TCR_E0PD1) != 0) { in vmmops_gla2gpa()
2832 tcr |= TCR_E0PD1; in tcr_set_e0pd1()
2774 #define TCR_E0PD1 (UL(1) << TCR_E0PD1_SHIFT) macro