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

  /src/sys/dev/nvmm/x86/
nvmm_x86_svmfunc.S 102 movq %rbp,(NVMM_X64_GPR_RBP * 8)(reg) ;\
118 movq (NVMM_X64_GPR_RBP * 8)(reg),%rbp ;\
nvmm_x86_vmxfunc.S 116 movq %rbp,(NVMM_X64_GPR_RBP * 8)(reg) ;\
132 movq (NVMM_X64_GPR_RBP * 8)(reg),%rbp ;\
nvmm_x86.h 170 #define NVMM_X64_GPR_RBP 5
nvmm_x86.c 163 [NVMM_X64_GPR_RBP] = 0x00000000,
  /src/lib/libnvmm/
libnvmm_x86.c 77 printf("| -> RBP=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RBP]);
1567 [1] = { NVMM_X64_GPR_RBP, 0x000000000000FFFF }, /* BP */
1569 [3] = { NVMM_X64_GPR_RBP, 0x00000000FFFFFFFF }, /* EBP */
1609 [0] = { NVMM_X64_GPR_RBP, 0x00000000000000FF }, /* BPL */
1610 [1] = { NVMM_X64_GPR_RBP, 0x000000000000FFFF }, /* BP */
1612 [3] = { NVMM_X64_GPR_RBP, 0x00000000FFFFFFFF }, /* EBP */
1616 [7] = { NVMM_X64_GPR_RBP, 0xFFFFFFFFFFFFFFFF }, /* RBP */
1815 [0b010] = NVMM_X64_GPR_RBP, /* BP (+SI) */
1816 [0b011] = NVMM_X64_GPR_RBP, /* BP (+DI) */
1819 [0b110] = NVMM_X64_GPR_RBP, /* BP *
    [all...]

Completed in 16 milliseconds