B32DATA_SEL
load_segment_registers(B64CODE_SEL, 0, 0, B32DATA_SEL);
load_segment_registers(B64CODE_SEL, 0, KMDBGS_SEL, B32DATA_SEL);