lib/libnvmm/libnvmm_x86.c

1586

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

lib/libnvmm/libnvmm_x86.c

1676

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

lib/libnvmm/libnvmm_x86.c

1677

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

lib/libnvmm/libnvmm_x86.c

1679

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

lib/libnvmm/libnvmm_x86.c

1683

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

lib/libnvmm/libnvmm_x86.c

1813

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

lib/libnvmm/libnvmm_x86.c

1814

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

lib/libnvmm/libnvmm_x86.c

1820

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

lib/libnvmm/libnvmm_x86.c

75

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

sys/dev/nvmm/x86/nvmm_x86.c

161

[NVMM_X64_GPR_RBX] = 0x00000000,

sys/dev/nvmm/x86/nvmm_x86_svm.c

1009

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1016

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1028

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1031

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1044

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1056

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1062

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1083

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1093

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1102

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

1150

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

1156

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

865

cpudata->gprs[NVMM_X64_GPR_RBX] = descs[1];

sys/dev/nvmm/x86/nvmm_x86_svm.c

921

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

922

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

942

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

950

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

sys/dev/nvmm/x86/nvmm_x86_svm.c

956

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

968

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

975

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_svm.c

984

cpudata->gprs[NVMM_X64_GPR_RBX] =

sys/dev/nvmm/x86/nvmm_x86_svm.c

995

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1262

cpudata->gprs[NVMM_X64_GPR_RBX] = descs[1];

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1319

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1320

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1341

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1350

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1358

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1362

cpudata->gprs[NVMM_X64_GPR_RBX] |= CPUID_SEF_INVPCID;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1367

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1376

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1382

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1390

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1399

cpudata->gprs[NVMM_X64_GPR_RBX] = ncpus;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1407

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1415

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1422

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1431

cpudata->gprs[NVMM_X64_GPR_RBX] =

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1442

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1456

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1463

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1473

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1482

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1495

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1498

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1511

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1523

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1529

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1581

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1587

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