Symbol: user_ldt_free
sys/platform/pc64/x86_64/userldt.c
54
user_ldt_free (struct pcb *pcb)
sys/platform/vkernel64/x86_64/userldt.c
54
user_ldt_free (struct pcb *pcb)