SDT_SHIFT
#define SDT_MASK (((1 << SDT_BITS) - 1) << SDT_SHIFT)
#define SDTIDX(va) (((va) & SDT_MASK) >> SDT_SHIFT)
eseg = (va & SDT_MASK) + (1 << SDT_SHIFT);
eseg = (va & SDT_MASK) + (1 << SDT_SHIFT);
eseg = (va & SDT_MASK) + (1 << SDT_SHIFT);
nsdt = roundup(avail_end, (1 << SDT_SHIFT)) >> SDT_SHIFT;