Lines Matching defs:regs64
56 x86_saved_state64_t *regs64;
69 regs64 = saved_state64(regs);
71 trapno = regs64->isf.trapno;
74 regs64 = NULL;
130 if (regs64) {
131 regs64->isf.rip = npc;
149 if (regs64) {
150 regs64->isf.rip = npc;
191 user_addr_t pc = (regs64) ? regs64->isf.rip : (user_addr_t)regs32->eip;
194 if (regs64) {
195 regs64->isf.rip--;