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

  /src/sys/dev/nvmm/x86/
nvmm_x86_svmfunc.S 104 movq %rdi,(NVMM_X64_GPR_RDI * 8)(reg) ;\
120 movq (NVMM_X64_GPR_RDI * 8)(reg),%rdi ;\
nvmm_x86_vmxfunc.S 118 movq %rdi,(NVMM_X64_GPR_RDI * 8)(reg) ;\
134 movq (NVMM_X64_GPR_RDI * 8)(reg),%rdi ;\
nvmm_x86.h 172 #define NVMM_X64_GPR_RDI 7
nvmm_x86.c 165 [NVMM_X64_GPR_RDI] = 0x00000000,
  /src/lib/libnvmm/
libnvmm_x86.c 79 printf("| -> RDI=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RDI]);
759 reg = NVMM_X64_GPR_RDI;
1587 [1] = { NVMM_X64_GPR_RDI, 0x000000000000FFFF }, /* DI */
1589 [3] = { NVMM_X64_GPR_RDI, 0x00000000FFFFFFFF }, /* EDI */
1629 [0] = { NVMM_X64_GPR_RDI, 0x00000000000000FF }, /* DIL */
1630 [1] = { NVMM_X64_GPR_RDI, 0x000000000000FFFF }, /* DI */
1632 [3] = { NVMM_X64_GPR_RDI, 0x00000000FFFFFFFF }, /* EDI */
1636 [7] = { NVMM_X64_GPR_RDI, 0xFFFFFFFFFFFFFFFF }, /* RDI */
1818 [0b101] = NVMM_X64_GPR_RDI, /* DI */
2091 reg2 = NVMM_X64_GPR_RDI;
    [all...]

Completed in 14 milliseconds