Lines Matching refs:task_switch
30 __FBSDID("$FreeBSD: stable/11/usr.sbin/bhyve/task_switch.c 336189 2018-07-11 07:16:13Z araujo $");
437 tss32_save(struct vmctx *ctx, int vcpu, struct vm_task_switch *task_switch,
461 if (task_switch->reason == TSR_IRET)
710 struct vm_task_switch *task_switch;
720 task_switch = &vmexit->u.task_switch;
721 nt_sel = task_switch->tsssel;
722 ext = vmexit->u.task_switch.ext;
723 reason = vmexit->u.task_switch.reason;
724 paging = &vmexit->u.task_switch.paging;
744 error = read_tss_descriptor(ctx, vcpu, task_switch, nt_sel, &nt_desc,
811 sel_exception(ctx, vcpu, IDT_TS, ot_sel, task_switch->ext);
824 error = read_tss_descriptor(ctx, vcpu, task_switch, ot_sel, &ot_desc,
851 tss32_save(ctx, vcpu, task_switch, eip, &oldtss, ot_iov);
884 error = tss32_restore(ctx, vcpu, task_switch, ot_sel, &newtss, nt_iov,
893 if (task_switch->errcode_valid) {
894 assert(task_switch->ext);
895 assert(task_switch->reason == TSR_IDT_GATE);
896 error = push_errcode(ctx, vcpu, &task_switch->paging, nt_type,
897 task_switch->errcode, &fault);
931 if (task_switch->reason == TSR_IDT_GATE) {