selector_t
gcore_usd_to_ssd(user_desc_t *usd, struct ssd *ssd, selector_t sel)
extern selector_t setup_thrptr(proc_t *, uintptr_t);
selector_t cs = get_cs_register();
__set_ds(selector_t value)
__set_es(selector_t value)
__set_fs(selector_t value)
__set_gs(selector_t value)
kdi_idt_init(selector_t sel)
kdi_idt_gates_install(selector_t sel, int saveold)
set_gatesegd(gate_desc_t *dp, void (*func)(void), selector_t sel,
usd_to_ssd(user_desc_t *usd, struct ssd *ssd, selector_t sel)
selector_t pcb_ds;
selector_t pcb_es;
selector_t pcb_fs;
selector_t pcb_gs;
extern void wr_ldtr(selector_t);
extern selector_t rd_ldtr(void);
extern void wr_tsr(selector_t);
extern void __set_ds(selector_t);
extern void __set_es(selector_t);
extern void __set_fs(selector_t);
extern void __set_gs(selector_t);
extern void load_segment_registers(selector_t, selector_t, selector_t,
selector_t); /* (alphabetical) */
extern void load_segment_registers(selector_t, selector_t, selector_t,
selector_t, selector_t, selector_t); /* (alphabetical) */
selector_t get_cs_register();
extern void set_gatesegd(gate_desc_t *, void (*)(void), selector_t,
extern void usd_to_ssd(user_desc_t *, struct ssd *, selector_t);