Searched refs:VKI_REG_R13 (Results 1 – 3 of 3) sorted by relevance
159 uc->uc_mcontext.gregs[VKI_REG_R13] = tst->arch.vex.guest_R13; in ML_()161 (Addr)&uc->uc_mcontext.gregs[VKI_REG_R13], sizeof(UWord)); in ML_()375 tst->arch.vex.guest_R13 = uc->uc_mcontext.gregs[VKI_REG_R13]; in ML_()377 (Addr)&uc->uc_mcontext.gregs[VKI_REG_R13], OFFSET_amd64_R13, in ML_()
1367 #define VKI_REG_R13 REG_R13 macro
306 (*regs)[VKI_REG_R13] = arch->vex.guest_R13; in fill_regset()