Home | History | Annotate | Download | only in x86

Lines Matching defs:eax

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)
1250 * `If a value entered for CPUID.EAX is higher than the maximum
1265 if (eax < 0x40000000) { /* basic CPUID range */
1266 if (__predict_false(eax > vmx_cpuid_max_basic)) {
1267 eax = vmx_cpuid_max_basic;
1268 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1270 } else if (eax < 0x80000000) { /* hypervisor CPUID range */
1271 if (__predict_false(eax > VMX_CPUID_MAX_HYPERVISOR)) {
1272 eax = vmx_cpuid_max_basic;
1273 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1276 if (__predict_false(eax > vmx_cpuid_max_extended)) {
1277 eax = vmx_cpuid_max_basic;
1278 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1282 switch (eax) {
1291 cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_00000001.eax;
1475 cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_80000001.eax;
1487 cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_80000007.eax;
1493 cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_80000008.eax;
1521 uint64_t eax, ecx;
1524 eax = cpudata->gprs[NVMM_X64_GPR_RAX];
1526 vmx_inkernel_exec_cpuid(cpudata, eax, ecx);
1527 vmx_inkernel_handle_cpuid(mach, vcpu, eax, ecx);
1534 if (cpuid->leaf != eax) {
1545 cpudata->gprs[NVMM_X64_GPR_RAX] &= ~cpuid->u.mask.del.eax;
1551 cpudata->gprs[NVMM_X64_GPR_RAX] |= cpuid->u.mask.set.eax;
3105 ((cpuid->u.mask.set.eax & cpuid->u.mask.del.eax) ||