VMCS_CR0_SHADOW
error = vm_get_vmcs_field(vcpu, VMCS_CR0_SHADOW,
vmcs_write(VMCS_CR0_SHADOW, regval);
vmcs_read(VMCS_CR0_SHADOW));
vmcs_write(VMCS_CR0_SHADOW, val);
vmcs_write(VMCS_CR0_SHADOW, 0x60000010);