setregion
setregion(®ion, ci->ci_gdt, (uint16_t)(gdt_size - 1));
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
setregion(®ion, gdtstore, DYNSEL_START - 1);
void setregion(struct region_descriptor *, void *, uint16_t);
setregion(®ion, &idtstore, PAGE_SIZE - 1);
setregion(®ion, ci->ci_gdt, gdt_size - 1);
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
setregion(®ion, gdtstore, NGDT * sizeof(gdtstore[0]) - 1);
setregion(®ion, gdtstore, NGDT * sizeof(gdtstore[0]) - 1);
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
void setregion(struct region_descriptor *, void *, size_t);