src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.c

165

[NVMM_X64_CR_CR3] = 0x00000000,

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1830

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1903

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2051

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2575

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2652

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2806

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

src/libs/nvmm/driver/x86/nvmm_x86.c

165

[NVMM_X64_CR_CR3] = 0x00000000,

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1830

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1903

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2051

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2575

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2652

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2806

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

src/libs/nvmm/libnvmm_x86.c

435

cr3 = state->crs[NVMM_X64_CR_CR3];

src/libs/nvmm/libnvmm_x86.c

89

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

src/tests/add-ons/kernel/drivers/nvmm/h_io_assist/h_io_assist.c

134

state->crs[NVMM_X64_CR_CR3] = 0x3000;

src/tests/add-ons/kernel/drivers/nvmm/h_mem_assist/h_mem_assist.c

280

state->crs[NVMM_X64_CR_CR3] = 0x3000;