sys/dev/nvmm/x86/nvmm_x86_vmx.c

1672

realcr0 = (fakecr0 & ~CR0_STATIC_MASK) | CR0_ET | CR0_NE;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1697

oldcr0 = (vmx_vmread(VMCS_CR0_SHADOW) & CR0_STATIC_MASK) |

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1698

(vmx_vmread(VMCS_GUEST_CR0) & ~CR0_STATIC_MASK);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2795

(state->crs[NVMM_X64_CR_CR0] & CR0_STATIC_MASK) |

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2798

(state->crs[NVMM_X64_CR_CR0] & ~CR0_STATIC_MASK) |

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2946

(vmx_vmread(VMCS_CR0_SHADOW) & CR0_STATIC_MASK) |

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2947

(vmx_vmread(VMCS_GUEST_CR0) & ~CR0_STATIC_MASK);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3141

vmx_vmwrite(VMCS_CR0_MASK, CR0_STATIC_MASK);