Searched refs:ot_sel (Results 1 – 1 of 1) sorted by relevance
| /freebsd/usr.sbin/bhyve/amd64/ |
| H A D | task_switch.c | 480 uint16_t ot_sel, struct tss32 *tss, struct iovec *iov, int *faultptr) in tss32_restore() argument
490 tss->tss_link = ot_sel; in tss32_restore()
718 uint16_t nt_sel, ot_sel; in vmexit_task_switch() local
803 ot_sel = GETREG(vcpu, VM_REG_GUEST_TR); in vmexit_task_switch()
804 if (ISLDT(ot_sel) || IDXSEL(ot_sel) == 0) { in vmexit_task_switch()
811 sel_exception(vcpu, IDT_TS, ot_sel, task_switch->ext); in vmexit_task_switch()
824 error = read_tss_descriptor(vcpu, task_switch, ot_sel, &ot_desc, in vmexit_task_switch()
840 error = desc_table_write(vcpu, &sup_paging, ot_sel, in vmexit_task_switch()
884 error = tss32_restore(ctx, vcpu, task_switch, ot_sel, &newtss, nt_iov, in vmexit_task_switch()
|