SEGDESC_LIMIT
pm_cs = SEGDESC_LIMIT(pm->pm_codeseg);
vaddr_t gdt_cs = SEGDESC_LIMIT(curcpu()->ci_gdt[GUCODE_SEL].sd);