Searched refs:VKI_REG_RBP (Results 1 – 5 of 5) sorted by relevance
135 uc->uc_mcontext.gregs[VKI_REG_RBP] = tst->arch.vex.guest_RBP; in ML_()137 (Addr)&uc->uc_mcontext.gregs[VKI_REG_RBP], sizeof(UWord)); in ML_()343 tst->arch.vex.guest_RBP = uc->uc_mcontext.gregs[VKI_REG_RBP]; in ML_()345 (Addr)&uc->uc_mcontext.gregs[VKI_REG_RBP], OFFSET_amd64_RBP, in ML_()
2781 tst->arch.vex.guest_RBP = uc->uc_mcontext.gregs[VKI_REG_RBP]; in VG_()
1359 #define VKI_REG_RBP REG_RBP macro
298 (*regs)[VKI_REG_RBP] = arch->vex.guest_RBP; in fill_regset()
609 (srP)->misc.AMD64.r_rbp = (uc)->uc_mcontext.gregs[VKI_REG_RBP]; \