Symbol: set_user_ldt
sys/platform/pc64/include/pcb_ext.h
62
void set_user_ldt (struct pcb *);
sys/platform/pc64/x86_64/vm_machdep.c
122
set_user_ldt(pcb1);
sys/platform/vkernel64/include/pcb_ext.h
62
void set_user_ldt (struct pcb *);
sys/platform/vkernel64/x86_64/vm_machdep.c
104
set_user_ldt(pcb1);