ilog2
__SHIFTIN(ilog2(NVMM_MAX_VCPUS), CPUID_8_08_ECX_ApicIdSize);
cpudata->gprs[NVMM_X64_GPR_RAX] = ilog2(ncpus);
__SHIFTIN(ilog2(NVMM_MAX_VCPUS), CPUID_8_08_ECX_ApicIdSize);
cpudata->gprs[NVMM_X64_GPR_RAX] = ilog2(ncpus);