lib/libnvmm/libnvmm_x86.c

410

cr3 = state->crs[NVMM_X64_CR_CR3];

lib/libnvmm/libnvmm_x86.c

97

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

sys/dev/nvmm/x86/nvmm_x86.c

181

[NVMM_X64_CR_CR3] = 0x00000000,

sys/dev/nvmm/x86/nvmm_x86_svm.c

1997

if (vmcb->state.cr3 != state->crs[NVMM_X64_CR_CR3]) {

sys/dev/nvmm/x86/nvmm_x86_svm.c

2070

vmcb->state.cr3 = state->crs[NVMM_X64_CR_CR3];

sys/dev/nvmm/x86/nvmm_x86_svm.c

2211

state->crs[NVMM_X64_CR_CR3] = vmcb->state.cr3;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2728

if (cr3 != state->crs[NVMM_X64_CR_CR3]) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2804

vmx_vmwrite(VMCS_GUEST_CR3, state->crs[NVMM_X64_CR_CR3]);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2949

state->crs[NVMM_X64_CR_CR3] = vmx_vmread(VMCS_GUEST_CR3);

tests/lib/libnvmm/h_io_assist.c

116

state->crs[NVMM_X64_CR_CR3] = 0x3000;

tests/lib/libnvmm/h_mem_assist.c

264

state->crs[NVMM_X64_CR_CR3] = 0x3000;