kvm_get_parange
parange = kvm_get_parange(id_aa64mmfr0_el1_sys_val);
vtcr |= FIELD_PREP(VTCR_EL2_PS, kvm_get_parange(mmfr0));