Lines Matching defs:ecx
1230 vmx_inkernel_exec_cpuid(struct vmx_cpudata *cpudata, uint64_t eax, uint64_t ecx)
1234 x86_cpuid2(eax, ecx, descs);
1243 uint64_t eax, uint64_t ecx)
1268 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1273 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1278 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1297 cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_00000001.ecx;
1329 switch (ecx) {
1333 cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_00000007.ecx;
1361 switch (ecx) {
1366 __SHIFTIN(ecx, CPUID_TOP_LVLNUM) |
1375 __SHIFTIN(ecx, CPUID_TOP_LVLNUM) |
1397 switch (ecx) {
1477 cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_80000001.ecx;
1489 cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_80000007.ecx;
1495 cpudata->gprs[NVMM_X64_GPR_RCX] &= nvmm_cpuid_80000008.ecx;
1521 uint64_t eax, ecx;
1525 ecx = cpudata->gprs[NVMM_X64_GPR_RCX];
1526 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1527 vmx_inkernel_handle_cpuid(mach, vcpu, eax, ecx);
1547 cpudata->gprs[NVMM_X64_GPR_RCX] &= ~cpuid->u.mask.del.ecx;
1553 cpudata->gprs[NVMM_X64_GPR_RCX] |= cpuid->u.mask.set.ecx;
3107 (cpuid->u.mask.set.ecx & cpuid->u.mask.del.ecx) ||