idt_vec_alloc
idtvec = idt_vec_alloc(APIC_LEVEL(level),
idtvec = idt_vec_alloc(APIC_LEVEL(level),
int idt_vec_alloc(int, int);
nvector = idt_vec_alloc(minlevel, minlevel+15);
int idt_vec_alloc(int, int);
vec = idt_vec_alloc(level, level + 15);