xen_set_ldt
xen_set_ldt(NULL, 0);
xen_set_ldt(curproc->p_ldt, curproc->p_ldtlimit + 1);
extern void xen_set_ldt(user_desc_t *, uint_t);