HomeSort by: relevance | last modified time | path
    Searched refs:NVMM_X64_CR_CR3 (Results 1 - 7 of 7) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86.h 188 #define NVMM_X64_CR_CR3 2
nvmm_x86.c 181 [NVMM_X64_CR_CR3] = 0x00000000,
nvmm_x86_svm.c 1845 if (vmcb->state.cr3 != state->crs[NVMM_X64_CR_CR3]) {
1918 vmcb->state.cr3 = state->crs[NVMM_X64_CR_CR3];
2055 state->crs[NVMM_X64_CR_CR3] = vmcb->state.cr3;
nvmm_x86_vmx.c 2558 if (cr3 != state->crs[NVMM_X64_CR_CR3]) {
2634 vmx_vmwrite(VMCS_GUEST_CR3, state->crs[NVMM_X64_CR_CR3]);
2775 state->crs[NVMM_X64_CR_CR3] = vmx_vmread(VMCS_GUEST_CR3);
  /src/tests/lib/libnvmm/
h_io_assist.c 116 state->crs[NVMM_X64_CR_CR3] = 0x3000;
h_mem_assist.c 264 state->crs[NVMM_X64_CR_CR3] = 0x3000;
  /src/lib/libnvmm/
libnvmm_x86.c 97 printf("| -> CR3=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR3]);
410 cr3 = state->crs[NVMM_X64_CR_CR3];

Completed in 20 milliseconds