Searched refs:selector_to_sel (Results 1 – 2 of 2) sorted by relevance
82 selector_to_sel(uint16_t selector) in selector_to_sel() function264 #define sel_idx(sel) (selector_to_sel(sel).index)
681 sel_t sel = selector_to_sel(selector); in valid_user_data_selector()700 sel_t sel = selector_to_sel(selector); in valid_user_code_selector()730 sel_t sel = selector_to_sel(selector); in valid_user_stack_selector()