Lines Matching defs:cr2
238 vaddr = (user_addr_t)uregs->cr2;
248 vaddr = uregs->cr2;
346 vaddr = (user_addr_t)saved_state->cr2;
668 uint32_t cr2 = get_cr2();
679 kprintf("cr0 0x%08x cr2 0x%08x cr3 0x%08x cr4 0x%08x\n",
680 cr0, cr2, cr3, cr4);
691 regs->eip, regs->trapno, trapname, cr0, cr2, cr3, cr4,
693 regs->cr2,regs->ebp,regs->esi,regs->edi,
851 ss64p->isf.rflags, ss64p->isf.rip, ss64p->cr2);
969 vaddr = (user_addr_t)regs->cr2;
978 vaddr = (user_addr_t)regs->cr2;
1109 * The trouble is cr2 doesn't contain the faulting address;
1284 db_printf("esp %8x\n", regs->cr2);