Symbol: desc_table_write
usr.sbin/bhyve/amd64/task_switch.c
840
error = desc_table_write(vcpu, &sup_paging, ot_sel,
usr.sbin/bhyve/amd64/task_switch.c
859
error = desc_table_write(vcpu, &sup_paging, nt_sel,