lib/libnvmm/libnvmm_x86.c

407

is_pae = (state->crs[NVMM_X64_CR_CR4] & CR4_PAE) != 0;

lib/libnvmm/libnvmm_x86.c

409

has_pse = (state->crs[NVMM_X64_CR_CR4] & CR4_PSE) != 0;

lib/libnvmm/libnvmm_x86.c

98

printf("| -> CR4=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR4]);

sys/dev/nvmm/x86/nvmm_x86.c

182

[NVMM_X64_CR_CR4] = 0x00000000,

sys/dev/nvmm/x86/nvmm_x86_svm.c

2001

state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {

sys/dev/nvmm/x86/nvmm_x86_svm.c

2071

vmcb->state.cr4 = state->crs[NVMM_X64_CR_CR4];

sys/dev/nvmm/x86/nvmm_x86_svm.c

2212

state->crs[NVMM_X64_CR_CR4] = vmcb->state.cr4;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2732

if ((cr4 ^ state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2808

(state->crs[NVMM_X64_CR_CR4] & CR4_VALID) | CR4_VMXE);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2950

state->crs[NVMM_X64_CR_CR4] = vmx_vmread(VMCS_GUEST_CR4);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2955

state->crs[NVMM_X64_CR_CR4] &= ~CR4_VMXE;

tests/lib/libnvmm/h_io_assist.c

98

state->crs[NVMM_X64_CR_CR4] = CR4_PAE;

tests/lib/libnvmm/h_mem_assist.c

246

state->crs[NVMM_X64_CR_CR4] = CR4_PAE;