LDT_SIZE
LDT_SIZE - 1, SDT_SYSLDT, SEL_KPL, 0);
LDT_SIZE - 1, SDT_SYSLDT, SEL_KPL, 0);
xen_set_ldt((vaddr_t)ldtstore, LDT_SIZE >> 3);
const size_t min_ldt_size = LDT_SIZE;
nldt = LDT_SIZE / sizeof(*lp);
const size_t min_ldt_size = LDT_SIZE;
initctx->ldt_ents = LDT_SIZE >> 3;