src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.c

144

[NVMM_X64_GPR_RDX] = 0x00000600,

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1008

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000007.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1017

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000008.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1038

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1048

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1057

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1105

cpudata->gprs[NVMM_X64_GPR_RDX] &= ~cpuid->u.mask.del.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1111

cpudata->gprs[NVMM_X64_GPR_RDX] |= cpuid->u.mask.set.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1212

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1218

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1226

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1290

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1354

val = (cpudata->gprs[NVMM_X64_GPR_RDX] << 32) |

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

856

cpudata->gprs[NVMM_X64_GPR_RDX] = descs.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

903

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000001.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

919

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

927

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000007.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

933

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

945

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

955

cpudata->gprs[NVMM_X64_GPR_RDX] = svm_xcr0_mask >> 32;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

968

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

974

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

983

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

986

memcpy(&cpudata->gprs[NVMM_X64_GPR_RDX], " ___", 4);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

996

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000001.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1258

cpudata->gprs[NVMM_X64_GPR_RDX] = descs.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1309

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000001.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1323

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1350

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1358

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000007.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1367

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1376

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1382

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1392

cpudata->gprs[NVMM_X64_GPR_RDX] = vcpu->cpuid;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1401

cpudata->gprs[NVMM_X64_GPR_RDX] = vcpu->cpuid;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1407

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1415

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1425

cpudata->gprs[NVMM_X64_GPR_RDX] = vmx_xcr0_mask >> 32;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1438

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1444

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1454

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1463

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1473

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1476

memcpy(&cpudata->gprs[NVMM_X64_GPR_RDX], " ___", 4);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1486

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000001.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1498

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000007.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1504

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000008.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1556

cpudata->gprs[NVMM_X64_GPR_RDX] &= ~cpuid->u.mask.del.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1562

cpudata->gprs[NVMM_X64_GPR_RDX] |= cpuid->u.mask.set.edx;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1875

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1881

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1900

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1908

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1976

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2004

val = (cpudata->gprs[NVMM_X64_GPR_RDX] << 32) |

src/libs/nvmm/driver/x86/nvmm_x86.c

144

[NVMM_X64_GPR_RDX] = 0x00000600,

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1008

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000007.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1017

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000008.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1038

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1048

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1057

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1105

cpudata->gprs[NVMM_X64_GPR_RDX] &= ~cpuid->u.mask.del.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1111

cpudata->gprs[NVMM_X64_GPR_RDX] |= cpuid->u.mask.set.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1212

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1218

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1226

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1290

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1354

val = (cpudata->gprs[NVMM_X64_GPR_RDX] << 32) |

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

856

cpudata->gprs[NVMM_X64_GPR_RDX] = descs.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

903

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000001.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

919

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

927

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000007.edx;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

933

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

945

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

955

cpudata->gprs[NVMM_X64_GPR_RDX] = svm_xcr0_mask >> 32;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

968

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

974

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

983

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

986

memcpy(&cpudata->gprs[NVMM_X64_GPR_RDX], " ___", 4);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

996

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000001.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1258

cpudata->gprs[NVMM_X64_GPR_RDX] = descs.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1309

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000001.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1323

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1350

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1358

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000007.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1367

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1376

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1382

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1392

cpudata->gprs[NVMM_X64_GPR_RDX] = vcpu->cpuid;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1401

cpudata->gprs[NVMM_X64_GPR_RDX] = vcpu->cpuid;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1407

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1415

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1425

cpudata->gprs[NVMM_X64_GPR_RDX] = vmx_xcr0_mask >> 32;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1438

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1444

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1454

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1463

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1473

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1476

memcpy(&cpudata->gprs[NVMM_X64_GPR_RDX], " ___", 4);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1486

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000001.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1498

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000007.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1504

cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_80000008.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1556

cpudata->gprs[NVMM_X64_GPR_RDX] &= ~cpuid->u.mask.del.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1562

cpudata->gprs[NVMM_X64_GPR_RDX] |= cpuid->u.mask.set.edx;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1875

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1881

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1900

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1908

cpudata->gprs[NVMM_X64_GPR_RDX] = (val >> 32);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1976

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2004

val = (cpudata->gprs[NVMM_X64_GPR_RDX] << 32) |

src/libs/nvmm/libnvmm_x86.c

1579

[0] = { NVMM_X64_GPR_RDX, 0x000000000000FF00 }, /* DH */

src/libs/nvmm/libnvmm_x86.c

1669

[0] = { NVMM_X64_GPR_RDX, 0x00000000000000FF }, /* DL */

src/libs/nvmm/libnvmm_x86.c

1670

[1] = { NVMM_X64_GPR_RDX, 0x000000000000FFFF }, /* DX */

src/libs/nvmm/libnvmm_x86.c

1672

[3] = { NVMM_X64_GPR_RDX, 0x00000000FFFFFFFF }, /* EDX */

src/libs/nvmm/libnvmm_x86.c

1676

[7] = { NVMM_X64_GPR_RDX, 0xFFFFFFFFFFFFFFFF }, /* RDX */

src/libs/nvmm/libnvmm_x86.c

66

printf("| -> RDX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RDX]);