HomeSort by: relevance | last modified time | path
    Searched refs:NVMM_X64_GPR_RBX (Results 1 - 7 of 7) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86_svmfunc.S 101 movq %rbx,(NVMM_X64_GPR_RBX * 8)(reg) ;\
117 movq (NVMM_X64_GPR_RBX * 8)(reg),%rbx ;\
nvmm_x86_svm.c 855 cpudata->gprs[NVMM_X64_GPR_RBX] = descs[1];
911 cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_LOCAL_APIC_ID;
912 cpudata->gprs[NVMM_X64_GPR_RBX] |= __SHIFTIN(vcpu->cpuid,
932 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
940 cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_00000007.ebx;
946 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
958 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
970 cpudata->gprs[NVMM_X64_GPR_RBX] = sizeof(struct fxsave);
972 cpudata->gprs[NVMM_X64_GPR_RBX] = sizeof(struct save87);
974 cpudata->gprs[NVMM_X64_GPR_RBX] += 64; /* XSAVE header *
    [all...]
nvmm_x86_vmxfunc.S 115 movq %rbx,(NVMM_X64_GPR_RBX * 8)(reg) ;\
131 movq (NVMM_X64_GPR_RBX * 8)(reg),%rbx ;\
nvmm_x86_vmx.c 1236 cpudata->gprs[NVMM_X64_GPR_RBX] = descs[1];
1293 cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_LOCAL_APIC_ID;
1294 cpudata->gprs[NVMM_X64_GPR_RBX] |= __SHIFTIN(vcpu->cpuid,
1315 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
1324 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
1332 cpudata->gprs[NVMM_X64_GPR_RBX] &= nvmm_cpuid_00000007.ebx;
1336 cpudata->gprs[NVMM_X64_GPR_RBX] |= CPUID_SEF_INVPCID;
1341 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
1350 cpudata->gprs[NVMM_X64_GPR_RBX] = 0;
1356 cpudata->gprs[NVMM_X64_GPR_RBX] = 0
    [all...]
nvmm_x86.h 168 #define NVMM_X64_GPR_RBX 3
nvmm_x86.c 161 [NVMM_X64_GPR_RBX] = 0x00000000,
  /src/lib/libnvmm/
libnvmm_x86.c 75 printf("| -> RBX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RBX]);
1586 [0] = { NVMM_X64_GPR_RBX, 0x000000000000FF00 }, /* BH */
1676 [0] = { NVMM_X64_GPR_RBX, 0x00000000000000FF }, /* BL */
1677 [1] = { NVMM_X64_GPR_RBX, 0x000000000000FFFF }, /* BX */
1679 [3] = { NVMM_X64_GPR_RBX, 0x00000000FFFFFFFF }, /* EBX */
1683 [7] = { NVMM_X64_GPR_RBX, 0xFFFFFFFFFFFFFFFF }, /* RBX */
1813 [0b000] = NVMM_X64_GPR_RBX, /* BX (+SI) */
1814 [0b001] = NVMM_X64_GPR_RBX, /* BX (+DI) */
1820 [0b111] = NVMM_X64_GPR_RBX, /* BX */

Completed in 18 milliseconds