Symbol: idt_vec_alloc_range
sys/arch/amd64/include/segments.h
164
int idt_vec_alloc_range(int, int, int);
sys/arch/amd64/pci/pci_machdep.c
467
idtvec = idt_vec_alloc_range(low, high, (1 << mme));