Symbol: desc_table_read
usr.sbin/bhyve/amd64/task_switch.c
272
error = desc_table_read(vcpu, &sup_paging, sel, desc, faultptr);
usr.sbin/bhyve/amd64/task_switch.c
370
error = desc_table_read(vcpu, &sup_paging, sel, &usd, faultptr);