x86/object/vcpu.c

221 vtx_check_fixed_values(word_t cr0, word_t cr4)
223     if (!check_fixed_value(cr0, cr0_low, cr0_high)) {
423     vcpu->cr0 = cr0_high & cr0_low;
476     vmwrite(VMX_GUEST_CR0, vcpu->cr0);
649         vcpu->cr0 = vcpu->cached_cr0 = value;
776         return vcpu->cr0;
1146         /* If the vcpu owns the fpu then we did not modify the active cr0 to anything different
1149         vcpu->cr0 = vcpu->cached_cr0;
1152          * to be set in the cr0 that was put into the vmcs. Since the VCPU owner (or the guest)
1154          * parts of cr0 during execution then to update the desired cr0 value to be the cr0
1157          * that may be in the desired current cr0 */
1158         vcpu->cr0 = (vcpu->cached_cr0 & ~CR0_TASK_SWITCH) | (NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 & CR0_TASK_SWITCH);
1203              * a 1 bit in the cr0 mask) as being owned by the host. If we got here then the previous check
1216                 /* check for cr0 */
1228                     /* First unset the task switch bit in cr0 */
1229                     NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 &= ~CR0_TASK_SWITCH;
1231                     NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 |= value & CR0_TASK_SWITCH;
1245                 /* Easy case. Just remove the task switch bit out of cr0 */
1246                 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 &= ~CR0_TASK_SWITCH;
1251                 /* First unset the task switch bit in cr0 */
1252                 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 &= ~CR0_TASK_SWITCH;
1254                 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 |= value & CR0_TASK_SWITCH;
1393     word_t cr0 = vcpu->cr0;
1402         cr0 |= CR0_TASK_SWITCH;
1414         /* since we have forced a value in the cr0 mask we need to set an appropriate value
1415          * in the cr0 read shadow. If the VCPU owner is also masking this bit then
1416          * we should use the value they have put in the cr0 read shadow. If they aren't
1418          * read shadow to the actual desired cr0 value */
1421             cr0_shadow |= vcpu->cr0 & CR0_TASK_SWITCH;
1424     if (cr0 != vcpu->cached_cr0) {
1425         vmwrite(VMX_GUEST_CR0, cr0);
1426         vcpu->cached_cr0 = cr0;