Lines Matching defs:task_switch
435 tss32_save(struct vmctx *ctx, int vcpu, struct vm_task_switch *task_switch,
459 if (task_switch->reason == TSR_IRET)
708 struct vm_task_switch *task_switch;
718 task_switch = &vmexit->u.task_switch;
719 nt_sel = task_switch->tsssel;
720 ext = vmexit->u.task_switch.ext;
721 reason = vmexit->u.task_switch.reason;
722 paging = &vmexit->u.task_switch.paging;
742 error = read_tss_descriptor(ctx, vcpu, task_switch, nt_sel, &nt_desc,
809 sel_exception(ctx, vcpu, IDT_TS, ot_sel, task_switch->ext);
822 error = read_tss_descriptor(ctx, vcpu, task_switch, ot_sel, &ot_desc,
849 tss32_save(ctx, vcpu, task_switch, eip, &oldtss, ot_iov);
882 error = tss32_restore(ctx, vcpu, task_switch, ot_sel, &newtss, nt_iov,
891 if (task_switch->errcode_valid) {
892 assert(task_switch->ext);
893 assert(task_switch->reason == TSR_IDT_GATE);
894 error = push_errcode(ctx, vcpu, &task_switch->paging, nt_type,
895 task_switch->errcode, &fault);
929 if (task_switch->reason == TSR_IDT_GATE) {