VMCS_CR0_MASK
error = vm_get_vmcs_field(vcpu, VMCS_CR0_MASK, &cr0mask);
vmcs_write(VMCS_CR0_MASK, cr0_ones_mask | cr0_zeros_mask);