/* * Checks for valid user selectors. If USER_LDT ever gets implemented * for amd64, these must check the ldt length and SEL_UPL if a user * ldt is active. */