lib/libnvmm/libnvmm_x86.c

1589

[0] = { NVMM_X64_GPR_RBX, 0x000000000000FF00 }, /* BH */

lib/libnvmm/libnvmm_x86.c

1679

[0] = { NVMM_X64_GPR_RBX, 0x00000000000000FF }, /* BL */

lib/libnvmm/libnvmm_x86.c

1680

[1] = { NVMM_X64_GPR_RBX, 0x000000000000FFFF }, /* BX */

lib/libnvmm/libnvmm_x86.c

1682

[3] = { NVMM_X64_GPR_RBX, 0x00000000FFFFFFFF }, /* EBX */

lib/libnvmm/libnvmm_x86.c

1686

[7] = { NVMM_X64_GPR_RBX, 0xFFFFFFFFFFFFFFFF }, /* RBX */

lib/libnvmm/libnvmm_x86.c

1816

[0b000] = NVMM_X64_GPR_RBX, /* BX (+SI) */

lib/libnvmm/libnvmm_x86.c

1817

[0b001] = NVMM_X64_GPR_RBX, /* BX (+DI) */

lib/libnvmm/libnvmm_x86.c

1823

[0b111] = NVMM_X64_GPR_RBX, /* BX */

lib/libnvmm/libnvmm_x86.c

67

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

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

146

[NVMM_X64_GPR_RBX] = 0x00000000,

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

1008

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_80000007.ebx;

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

1015

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_80000008.ebx;

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

1038

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1048

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1057

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1105

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~cpuid->u.mask.del.ebx;

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

1111

cpudata->gprs[NVMM_X64_GPR_RBX] |= cpuid->u.mask.set.ebx;

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

854

cpudata->gprs[NVMM_X64_GPR_RBX] = descs.ebx;

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

891

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_0_01_EBX_LOCAL_APIC_ID;

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

892

cpudata->gprs[NVMM_X64_GPR_RBX] |= __SHIFTIN(vcpu->cpuid,

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

896

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_0_01_EBX_HTT_CORES;

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

897

cpudata->gprs[NVMM_X64_GPR_RBX] |= __SHIFTIN(ncpus,

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

917

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

925

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_00000007.ebx;

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

931

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

943

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

957

cpudata->gprs[NVMM_X64_GPR_RBX] =

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

968

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

974

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

983

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

986

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

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

996

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_80000001.ebx;

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

1286

cpudata->gprs[NVMM_X64_GPR_RBX] = descs.ebx;

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

1324

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_0_01_EBX_LOCAL_APIC_ID;

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

1325

cpudata->gprs[NVMM_X64_GPR_RBX] |= __SHIFTIN(vcpu->cpuid,

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

1329

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_0_01_EBX_HTT_CORES;

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

1330

cpudata->gprs[NVMM_X64_GPR_RBX] |= __SHIFTIN(ncpus,

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

1351

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1378

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1386

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_00000007.ebx;

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

1390

cpudata->gprs[NVMM_X64_GPR_RBX] |= CPUID_0_07_EBX_INVPCID;

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

1398

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1407

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1413

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1421

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1430

cpudata->gprs[NVMM_X64_GPR_RBX] = ncpus;

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

1438

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1446

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1460

cpudata->gprs[NVMM_X64_GPR_RBX] = nvmm_x86_xsave_size(cpudata->gxcr0);

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

1469

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1475

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1485

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1494

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1504

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1507

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

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

1517

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_80000001.ebx;

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

1529

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_80000007.ebx;

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

1535

cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_80000008.ebx;

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

1587

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~cpuid->u.mask.del.ebx;

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

1593

cpudata->gprs[NVMM_X64_GPR_RBX] |= cpuid->u.mask.set.ebx;

test/nvmm/calc-vm.c

120

vcpu.state->gprs[NVMM_X64_GPR_RBX] = num2;

test/nvmm/calc-vm.c

139

ret = vcpu.state->gprs[NVMM_X64_GPR_RBX];