sbin/efi/devpath3.c

1616

uint8_t NIDT;

sbin/efi/devpath3.c

1632

switch (p->NIDT) {

sbin/efi/devpath3.c

1659

DEVPATH_FMT(NIDT: 0x%02x\n)

sbin/efi/devpath3.c

1663

p->NIDT,

sys/arch/amd64/amd64/machdep.c

1579

setregion(&region, idt, NIDT * sizeof(idt[0]) - 1);

sys/arch/amd64/amd64/machdep.c

2136

memset((void *)idt, 0, NIDT * sizeof(idt[0]));

sys/arch/i386/i386/machdep.c

1040

setregion(&region, idt, NIDT * sizeof(idt[0]) - 1);

sys/arch/i386/i386/machdep.c

1667

memset((void *)idt, 0, NIDT * sizeof(idt[0]));

sys/arch/i386/i386/machdep.c

1668

setregion(&region, idt, NIDT * sizeof(idt[0]) - 1);

sys/arch/x86/include/cpu.h

110

char iv_allocmap[NIDT];