Symbol: IDXSELN
sys/arch/xen/x86/xenfunc.c
119
xen_set_ldt(ci->ci_gdt[IDXSELN(sel)].ld.ld_base,
sys/arch/xen/x86/xenfunc.c
120
ci->ci_gdt[IDXSELN(sel)].ld.ld_entries);