ssdtosd
void ssdtosd(struct soft_segment_descriptor *ssdp,
ssdtosd(&gdt_segs[x], &gdt_cpu0[x]);
ssdtosd(&gdt_segs[x], &gdt[x]);