Symbol: desc_table_rw
usr.sbin/bhyve/amd64/task_switch.c
234
return (desc_table_rw(vcpu, paging, sel, desc, true, faultptr));
usr.sbin/bhyve/amd64/task_switch.c
241
return (desc_table_rw(vcpu, paging, sel, desc, false, faultptr));