Lines Matching defs:vex
103 VexGuestAMD64State vex;
344 # define SC2(reg,REG) sc->reg = tst->arch.vex.guest_##REG
363 sc->eflags = LibVEX_GuestAMD64_get_rflags(&tst->arch.vex);
432 frame->vex = tst->arch.vex;
483 = (void*)tst->arch.vex.guest_RIP;
520 tst->arch.vex.guest_RIP = (Addr) handler;
521 tst->arch.vex.guest_RDI = (ULong) siginfo->si_signo;
522 tst->arch.vex.guest_RSI = (Addr) &frame->sigInfo;
523 tst->arch.vex.guest_RDX = (Addr) &frame->uContext;
530 rsp, tst->arch.vex.guest_RIP, tst->status);
559 tst->arch.vex = frame->vex;
570 tst->arch.vex.guest_RAX = sc->rax;
571 tst->arch.vex.guest_RCX = sc->rcx;
572 tst->arch.vex.guest_RDX = sc->rdx;
573 tst->arch.vex.guest_RBX = sc->rbx;
574 tst->arch.vex.guest_RBP = sc->rbp;
575 tst->arch.vex.guest_RSP = sc->rsp;
576 tst->arch.vex.guest_RSI = sc->rsi;
577 tst->arch.vex.guest_RDI = sc->rdi;
578 tst->arch.vex.guest_R8 = sc->r8;
579 tst->arch.vex.guest_R9 = sc->r9;
580 tst->arch.vex.guest_R10 = sc->r10;
581 tst->arch.vex.guest_R11 = sc->r11;
582 tst->arch.vex.guest_R12 = sc->r12;
583 tst->arch.vex.guest_R13 = sc->r13;
584 tst->arch.vex.guest_R14 = sc->r14;
585 tst->arch.vex.guest_R15 = sc->r15;
586 //:: tst->arch.vex.guest_rflags = sc->rflags;
587 tst->arch.vex.guest_RIP = sc->rip;
589 //:: tst->arch.vex.guest_CS = sc->cs;
590 //:: tst->arch.vex.guest_FS = sc->fs;
591 //:: tst->arch.vex.guest_GS = sc->gs;
620 rsp = tst->arch.vex.guest_RSP;
631 tid, isRT, tst->arch.vex.guest_RIP);