Lines Matching refs:sel
879 sel_t sel = selector_to_sel(selector);
884 if (sel.ti == SEL_LDT)
886 else if (sel.index < GDTSZ) {
897 sel_t sel = selector_to_sel(selector);
902 if (sel.ti == SEL_LDT) {
903 if (sel.rpl == USER_PRIV)
906 else if (sel.index < GDTSZ && sel.rpl == USER_PRIV) {
917 sel_t sel = selector_to_sel(selector);
922 if (sel.ti == SEL_LDT) {
923 if (sel.rpl == USER_PRIV)
926 else if (sel.index < GDTSZ && sel.rpl == USER_PRIV) {