Symbol: B32DATA_SEL
usr/src/uts/i86xpv/os/mach_kdi.c
187
load_segment_registers(B64CODE_SEL, 0, 0, B32DATA_SEL);
usr/src/uts/i86xpv/os/mach_kdi.c
204
load_segment_registers(B64CODE_SEL, 0, KMDBGS_SEL, B32DATA_SEL);