lib/libnvmm/libnvmm_x86.c

1567

[1] = { NVMM_X64_GPR_RBP, 0x000000000000FFFF }, /* BP */

lib/libnvmm/libnvmm_x86.c

1569

[3] = { NVMM_X64_GPR_RBP, 0x00000000FFFFFFFF }, /* EBP */

lib/libnvmm/libnvmm_x86.c

1609

[0] = { NVMM_X64_GPR_RBP, 0x00000000000000FF }, /* BPL */

lib/libnvmm/libnvmm_x86.c

1610

[1] = { NVMM_X64_GPR_RBP, 0x000000000000FFFF }, /* BP */

lib/libnvmm/libnvmm_x86.c

1612

[3] = { NVMM_X64_GPR_RBP, 0x00000000FFFFFFFF }, /* EBP */

lib/libnvmm/libnvmm_x86.c

1616

[7] = { NVMM_X64_GPR_RBP, 0xFFFFFFFFFFFFFFFF }, /* RBP */

lib/libnvmm/libnvmm_x86.c

1815

[0b010] = NVMM_X64_GPR_RBP, /* BP (+SI) */

lib/libnvmm/libnvmm_x86.c

1816

[0b011] = NVMM_X64_GPR_RBP, /* BP (+DI) */

lib/libnvmm/libnvmm_x86.c

1819

[0b110] = NVMM_X64_GPR_RBP, /* BP */

lib/libnvmm/libnvmm_x86.c

77

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

sys/dev/nvmm/x86/nvmm_x86.c

163

[NVMM_X64_GPR_RBP] = 0x00000000,