NIDT
char idt_allocmap[NIDT];
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
memset((void *)idt, 0, NIDT * sizeof(idt[0]));
memset((caddr_t)idt, 0, NIDT * sizeof(idt[0]));
struct gate_descriptor idt[NIDT];
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
for (i = NRSVIDT; i < NIDT; i++)
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);
setregion(®ion, idt, NIDT * sizeof(idt[0]) - 1);