lib/libnvmm/libnvmm_x86.c

1579

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

lib/libnvmm/libnvmm_x86.c

1669

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

lib/libnvmm/libnvmm_x86.c

1670

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

lib/libnvmm/libnvmm_x86.c

1672

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

lib/libnvmm/libnvmm_x86.c

1676

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

lib/libnvmm/libnvmm_x86.c

66

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

sys/dev/virtual/nvmm/x86/nvmm_x86.c

145

[NVMM_X64_GPR_RDX] = 0x00000600,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1010

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1019

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1040

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1050

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1059

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1107

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1113

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1274

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1280

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1288

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1352

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1416

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

856

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

903

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

919

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

927

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

933

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

945

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

955

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

970

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

976

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

985

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

988

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

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

998

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1288

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1339

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1353

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1380

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1388

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1393

cpudata->gprs[NVMM_X64_GPR_RDX] |= CPUID_0_07_EDX_ARCH_CAP;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1400

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1409

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1415

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1425

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1434

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1440

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1448

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1458

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1471

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1477

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1487

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1496

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1506

cpudata->gprs[NVMM_X64_GPR_RDX] = 0;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1509

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1519

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1531

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1537

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1589

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1595

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1898

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1904

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1917

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1925

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

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1993

rdx = cpudata->gprs[NVMM_X64_GPR_RDX];

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2021

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

test/nvmm/demo/toyvirt/main.c

311

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