vec                94 bsp/hal/x86/arch/cpu.c gdt_set(int vec, void *base, size_t limit, int type, u_int size)
vec                96 bsp/hal/x86/arch/cpu.c 	struct seg_desc *seg = &gdt[vec];
vec               115 bsp/hal/x86/arch/cpu.c idt_set(int vec, trapfn_t off, u_int sel, int type)
vec               117 bsp/hal/x86/arch/cpu.c 	struct gate_desc *gate = &idt[vec];
vec               227 sys/kern/irq.c 	int vec = info->cookie;
vec               231 sys/kern/irq.c 	while (vec < MAXIRQS) {
vec               232 sys/kern/irq.c 		if (irq_table[vec]) {
vec               236 sys/kern/irq.c 		vec++;
vec               241 sys/kern/irq.c 	irq = irq_table[vec];
vec               247 sys/kern/irq.c 	info->cookie = vec + 1;