Symbol: idt_vec_free
sys/arch/amd64/amd64/machdep.c
2051
idt_vec_free(int vec)
sys/arch/i386/i386/machdep.c
3495
idt_vec_free(int vec)