Symbol: NVMM_X64_NGPR
sys/dev/nvmm/x86/nvmm_x86.h
263
uint64_t gprs[NVMM_X64_NGPR];
sys/dev/nvmm/x86/nvmm_x86_svm.c
602
uint64_t gprs[NVMM_X64_NGPR];
sys/dev/nvmm/x86/nvmm_x86_vmx.c
821
uint64_t gprs[NVMM_X64_NGPR];