Lines Matching refs:sel
796 uint16_t sel; in vcpu_reset() local
831 sel = 0xf000; in vcpu_reset()
832 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_CS, sel)) != 0) in vcpu_reset()
866 sel = 0; in vcpu_reset()
867 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_SS, sel)) != 0) in vcpu_reset()
869 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_DS, sel)) != 0) in vcpu_reset()
871 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_ES, sel)) != 0) in vcpu_reset()
873 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_FS, sel)) != 0) in vcpu_reset()
875 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_GS, sel)) != 0) in vcpu_reset()
919 sel = 0; in vcpu_reset()
920 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_TR, sel)) != 0) in vcpu_reset()
932 sel = 0; in vcpu_reset()