ps_to_output_size
wi->max_oa_bits = min(get_kvm_ipa_limit(), ps_to_output_size(ps, wi->pa52bit));
ps_to_output_size(FIELD_GET(VTCR_EL2_PS_MASK, vtcr), false));