Searched refs:VTCR_EL2_PS_MASK (Results 1 – 2 of 2) sorted by relevance
130 #define VTCR_EL2_PS_MASK TCR_EL2_PS_MASK macro
321 ps_to_output_size(FIELD_GET(VTCR_EL2_PS_MASK, vtcr))); in vtcr_to_walk_info()