void ldt_free(struct pmap *pmap) { int slot; slot = IDXDYNSEL(pmap->pm_ldt_sel); gdt_put_slot(slot); }
void ldt_free(int sel) { int slot; slot = IDXSEL(sel); #ifndef XEN gdt_put_slot(slot); #else gdt_put_slot1(slot, 1); #endif }
void tss_free(int sel) { gdt_put_slot(IDXSEL(sel)); }