B64CODE_SEL
if (tf->code_seg != B64CODE_SEL)
set_gatesegd(&bop_idt[t], &bop_trap_handler, B64CODE_SEL,
load_segment_registers(B64CODE_SEL, 0, 0, B32DATA_SEL);
load_segment_registers(B64CODE_SEL, 0, KMDBGS_SEL, B32DATA_SEL);
#define KMDBCODE_SEL B64CODE_SEL