Searched refs:gdt_idx (Results 1 – 1 of 1) sorted by relevance
413 int gdt_idx; in set_user_ldt_locked() local418 gdt_idx = GUSERLDT_SEL; in set_user_ldt_locked()419 gdt_idx += PCPU_GET(cpuid) * NGDT; /* always 0 on UP */ in set_user_ldt_locked()420 gdt[gdt_idx].sd = pldt->ldt_sd; in set_user_ldt_locked()