Symbol: sdtossd
sys/cpu/x86_64/include/segments.h
259
void sdtossd(struct user_segment_descriptor *sdp,
sys/platform/pc64/x86_64/trap.c
1028
sdtossd(&mdcpu->gd_gdt[IDXSEL(frame->tf_cs & 0xffff)], &softseg);