Symbol: user_ldt_free
sys/platform/pc64/include/pcb_ext.h
64
void user_ldt_free (struct pcb *);
sys/platform/pc64/x86_64/machdep.c
1483
user_ldt_free(pcb);
sys/platform/pc64/x86_64/vm_machdep.c
120
user_ldt_free(pcb1);
sys/platform/vkernel64/include/pcb_ext.h
64
void user_ldt_free (struct pcb *);
sys/platform/vkernel64/x86_64/cpu_regs.c
553
user_ldt_free(pcb);
sys/platform/vkernel64/x86_64/vm_machdep.c
102
user_ldt_free(pcb1);