sel               115 bsp/hal/x86/arch/cpu.c idt_set(int vec, trapfn_t off, u_int sel, int type)
sel               120 bsp/hal/x86/arch/cpu.c 	gate->selector = sel;