NVMM_X64_GPR_RAX
[0] = { NVMM_X64_GPR_RAX, 0x000000000000FF00 }, /* AH */
[0] = { NVMM_X64_GPR_RAX, 0x00000000000000FF }, /* AL */
[1] = { NVMM_X64_GPR_RAX, 0x000000000000FFFF }, /* AX */
[3] = { NVMM_X64_GPR_RAX, 0x00000000FFFFFFFF }, /* EAX */
[7] = { NVMM_X64_GPR_RAX, 0xFFFFFFFFFFFFFFFF }, /* RAX */
printf("| -> RAX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RAX]);
memcpy(io.data, &state->gprs[NVMM_X64_GPR_RAX], io.size);
memcpy(&state->gprs[NVMM_X64_GPR_RAX], io.data, io.size);
state->gprs[NVMM_X64_GPR_RAX] &= size_to_mask(4);
[NVMM_X64_GPR_RAX] = 0x00000000,
vmcb->state.rax = state->gprs[NVMM_X64_GPR_RAX];
state->gprs[NVMM_X64_GPR_RAX] = vmcb->state.rax;
cpudata->gprs[NVMM_X64_GPR_RAX] = descs[0];
cpudata->gprs[NVMM_X64_GPR_RAX] = vmx_cpuid_max_basic;
cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_00000001.eax;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = ilog2(ncpus);
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] =
cpudata->gprs[NVMM_X64_GPR_RAX] &=
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = 0;
cpudata->gprs[NVMM_X64_GPR_RAX] = VMX_CPUID_MAX_HYPERVISOR;
cpudata->gprs[NVMM_X64_GPR_RAX] = vmx_cpuid_max_extended;
cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_80000001.eax;
cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_80000007.eax;
cpudata->gprs[NVMM_X64_GPR_RAX] &= nvmm_cpuid_80000008.eax;
eax = cpudata->gprs[NVMM_X64_GPR_RAX];
cpudata->gprs[NVMM_X64_GPR_RAX] &= ~cpuid->u.mask.del.eax;
cpudata->gprs[NVMM_X64_GPR_RAX] |= cpuid->u.mask.set.eax;
cpudata->gprs[NVMM_X64_GPR_RAX] = (val & 0xFFFFFFFF);
cpudata->gprs[NVMM_X64_GPR_RAX] = (val & 0xFFFFFFFF);
cpudata->gprs[NVMM_X64_GPR_RAX] = (val & 0xFFFFFFFF);
cpudata->gprs[NVMM_X64_GPR_RAX] = (val & 0xFFFFFFFF);
rax = cpudata->gprs[NVMM_X64_GPR_RAX];
(cpudata->gprs[NVMM_X64_GPR_RAX] & 0xFFFFFFFF);