Lines Matching defs:selector_t
134 typedef uint16_t selector_t; /* selector reigster */
167 extern void wr_ldtr(selector_t);
168 extern selector_t rd_ldtr(void);
169 extern void wr_tsr(selector_t);
177 extern void __set_ds(selector_t);
178 extern void __set_es(selector_t);
179 extern void __set_fs(selector_t);
180 extern void __set_gs(selector_t);
185 extern void load_segment_registers(selector_t, selector_t, selector_t,
186 selector_t); /* (alphabetical) */
188 extern void load_segment_registers(selector_t, selector_t, selector_t,
189 selector_t, selector_t, selector_t); /* (alphabetical) */
192 selector_t get_cs_register();
404 extern void set_gatesegd(gate_desc_t *, void (*)(void), selector_t,