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

  /src/sys/dev/nvmm/x86/
nvmm_x86_svmfunc.S 100 movq %rdx,(NVMM_X64_GPR_RDX * 8)(reg) ;\
116 movq (NVMM_X64_GPR_RDX * 8)(reg),%rdx ;\
nvmm_x86_svm.c 857 cpudata->gprs[NVMM_X64_GPR_RDX] = descs[3];
918 cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000001.edx;
934 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
942 cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000007.edx;
948 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
960 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
976 cpudata->gprs[NVMM_X64_GPR_RDX] = svm_xcr0_mask >> 32;
984 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
990 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
1002 cpudata->gprs[NVMM_X64_GPR_RDX] = 0
    [all...]
nvmm_x86_vmxfunc.S 114 movq %rdx,(NVMM_X64_GPR_RDX * 8)(reg) ;\
130 movq (NVMM_X64_GPR_RDX * 8)(reg),%rdx ;\
nvmm_x86_vmx.c 1238 cpudata->gprs[NVMM_X64_GPR_RDX] = descs[3];
1303 cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000001.edx;
1317 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
1326 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
1334 cpudata->gprs[NVMM_X64_GPR_RDX] &= nvmm_cpuid_00000007.edx;
1343 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
1352 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
1358 cpudata->gprs[NVMM_X64_GPR_RDX] = 0;
1368 cpudata->gprs[NVMM_X64_GPR_RDX] = vcpu->cpuid;
1377 cpudata->gprs[NVMM_X64_GPR_RDX] = vcpu->cpuid
    [all...]
nvmm_x86.h 167 #define NVMM_X64_GPR_RDX 2
nvmm_x86.c 160 [NVMM_X64_GPR_RDX] = 0x00000600,
  /src/lib/libnvmm/
libnvmm_x86.c 74 printf("| -> RDX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RDX]);
1576 [0] = { NVMM_X64_GPR_RDX, 0x000000000000FF00 }, /* DH */
1666 [0] = { NVMM_X64_GPR_RDX, 0x00000000000000FF }, /* DL */
1667 [1] = { NVMM_X64_GPR_RDX, 0x000000000000FFFF }, /* DX */
1669 [3] = { NVMM_X64_GPR_RDX, 0x00000000FFFFFFFF }, /* EDX */
1673 [7] = { NVMM_X64_GPR_RDX, 0xFFFFFFFFFFFFFFFF }, /* RDX */

Completed in 117 milliseconds