Symbol: CPUID_8_08_ECX_NC
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c
1015
__SHIFTIN(ncpus - 1, CPUID_8_08_ECX_NC) |
src/libs/nvmm/driver/x86/nvmm_x86_svm.c
1015
__SHIFTIN(ncpus - 1, CPUID_8_08_ECX_NC) |