ldt_alloc
int ldt_alloc(void *, size_t);
sel = ldt_alloc(new_ldt, MAX_USERLDT_SIZE);
ci->ci_svs_ldt_sel = ldt_alloc(&pcpuarea->ent[cid].ldt,
new_sel = ldt_alloc(new_ldt, MAX_USERLDT_SIZE);