lib/libnvmm/libnvmm_x86.c

1576

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

lib/libnvmm/libnvmm_x86.c

1666

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

lib/libnvmm/libnvmm_x86.c

1667

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

lib/libnvmm/libnvmm_x86.c

1669

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

lib/libnvmm/libnvmm_x86.c

1673

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

lib/libnvmm/libnvmm_x86.c

74

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

sys/dev/nvmm/x86/nvmm_x86.c

160

[NVMM_X64_GPR_RDX] = 0x00000600,

sys/dev/nvmm/x86/nvmm_x86_svm.c

1011

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1018

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1030

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1033

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1046

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1058

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1064

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1085

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1095

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1104

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1152

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1158

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1259

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1265

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1273

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1337

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

sys/dev/nvmm/x86/nvmm_x86_svm.c

1401

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

867

cpudata->gprs[NVMM_X64_GPR_RDX] = descs[3];

sys/dev/nvmm/x86/nvmm_x86_svm.c

928

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

944

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

952

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

958

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

970

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

977

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

988

cpudata->gprs[NVMM_X64_GPR_RDX] =

sys/dev/nvmm/x86/nvmm_x86_svm.c

997

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1264

cpudata->gprs[NVMM_X64_GPR_RDX] = descs[3];

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1329

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1343

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1352

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1360

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1369

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1378

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1384

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1394

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1403

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1409

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1417

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1424

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1435

cpudata->gprs[NVMM_X64_GPR_RDX] =

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1444

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1458

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1465

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1475

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1484

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1497

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1500

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1513

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1525

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1531

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1583

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1589

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1902

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1908

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1926

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1934

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2002

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2030

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