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

145

[NVMM_X64_GPR_RBX] = 0x00000000,

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

1006

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

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

1013

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

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

1036

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1046

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1055

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1103

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

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

1109

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

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

854

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

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

891

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

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

892

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

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

896

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

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

897

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

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

917

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

925

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

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

931

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

943

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

957

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

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

966

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

972

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

981

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

984

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

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

994

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

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

1256

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

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

1294

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

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

1295

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

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

1299

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

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

1300

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

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

1321

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1348

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1356

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

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

1360

cpudata->gprs[NVMM_X64_GPR_RBX] |= CPUID_0_07_EBX_INVPCID;

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

1365

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1374

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1380

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1388

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1397

cpudata->gprs[NVMM_X64_GPR_RBX] = ncpus;

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

1405

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1413

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1427

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

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

1436

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1442

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1452

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1461

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1471

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1474

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

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

1484

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

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

1496

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

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

1502

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

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

1554

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

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

1560

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

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

145

[NVMM_X64_GPR_RBX] = 0x00000000,

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

1006

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

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

1013

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

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

1036

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1046

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1055

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1103

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

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

1109

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

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

854

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

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

891

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

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

892

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

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

896

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

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

897

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

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

917

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

925

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

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

931

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

943

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

957

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

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

966

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

972

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

981

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

984

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

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

994

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

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

1256

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

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

1294

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

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

1295

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

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

1299

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

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

1300

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

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

1321

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1348

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1356

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

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

1360

cpudata->gprs[NVMM_X64_GPR_RBX] |= CPUID_0_07_EBX_INVPCID;

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

1365

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1374

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1380

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1388

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1397

cpudata->gprs[NVMM_X64_GPR_RBX] = ncpus;

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

1405

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1413

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1427

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

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

1436

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1442

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1452

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1461

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1471

cpudata->gprs[NVMM_X64_GPR_RBX] = 0;

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

1474

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

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

1484

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

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

1496

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

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

1502

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

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

1554

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

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

1560

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

src/libs/nvmm/libnvmm_x86.c

1589

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

src/libs/nvmm/libnvmm_x86.c

1679

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

src/libs/nvmm/libnvmm_x86.c

1680

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

src/libs/nvmm/libnvmm_x86.c

1682

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

src/libs/nvmm/libnvmm_x86.c

1686

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

src/libs/nvmm/libnvmm_x86.c

1816

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

src/libs/nvmm/libnvmm_x86.c

1817

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

src/libs/nvmm/libnvmm_x86.c

1823

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

src/libs/nvmm/libnvmm_x86.c

67

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