setregion
setregion(®ion, &idtstore, PAGE_SIZE - 1);
static void setregion(struct region_descriptor *, void *, uint16_t);