Lines Matching refs:ss64p
1068 x86_saved_state64_t *ss64p = saved_state64(regs);
1075 ss64p->rax, ss64p->rbx, ss64p->rcx, ss64p->rdx,
1076 ss64p->isf.rsp, ss64p->rbp, ss64p->rsi, ss64p->rdi,
1077 ss64p->r8, ss64p->r9, ss64p->r10, ss64p->r11,
1078 ss64p->r12, ss64p->r13, ss64p->r14, ss64p->r15,
1079 ss64p->isf.rflags, ss64p->isf.rip, ss64p->isf.cs,
1080 ss64p->isf.ss);
1081 PC = ss64p->isf.rip;