Lines Matching refs:ss64p
1045 x86_saved_state64_t *ss64p = saved_state64(regs);
1052 ss64p->rax, ss64p->rbx, ss64p->rcx, ss64p->rdx,
1053 ss64p->isf.rsp, ss64p->rbp, ss64p->rsi, ss64p->rdi,
1054 ss64p->r8, ss64p->r9, ss64p->r10, ss64p->r11,
1055 ss64p->r12, ss64p->r13, ss64p->r14, ss64p->r15,
1056 ss64p->isf.rflags, ss64p->isf.rip, ss64p->isf.cs,
1057 ss64p->isf.ss);
1058 PC = ss64p->isf.rip;