x86/object/vcpu.c

407     vcpu->cr0_shadow = 0;
629         vcpu->cr0_shadow = vcpu->cached_cr0_shadow = value;
753         return vcpu->cr0_shadow;
1197                      * bits that the VCPU owner has declared that they want to own (via the cr0_shadow)
1199                     if (!((value ^ NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0_shadow) &
1220                  * bits that the VCPU owner has declared that they want to own (via the cr0_shadow).
1224                 if (!((value ^ NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0_shadow) &
1353     word_t cr0_shadow = vcpu->cr0_shadow;
1377             cr0_shadow &= ~CR0_TASK_SWITCH;
1378             cr0_shadow |= vcpu->cr0 & CR0_TASK_SWITCH;
1393     if (cr0_shadow != vcpu->cached_cr0_shadow) {
1394         vmwrite(VMX_CONTROL_CR0_READ_SHADOW, cr0_shadow);
1395         vcpu->cached_cr0_shadow = cr0_shadow;