PMLEN_16
} else if (pmlen <= PMLEN_16 && have_user_pmlen_16) {
pmlen = PMLEN_16;
ret = FIELD_PREP(PR_PMLEN_MASK, PMLEN_16);