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

335

uint64_t drs[NVMM_X64_NDR];

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

586

uint64_t drs[NVMM_X64_NDR];

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

600

uint64_t drs[NVMM_X64_NDR];

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

818

uint64_t drs[NVMM_X64_NDR];

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

837

uint64_t drs[NVMM_X64_NDR];

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

335

uint64_t drs[NVMM_X64_NDR];

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

586

uint64_t drs[NVMM_X64_NDR];

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

600

uint64_t drs[NVMM_X64_NDR];

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

818

uint64_t drs[NVMM_X64_NDR];

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

837

uint64_t drs[NVMM_X64_NDR];