Lines Matching defs:cr4
806 pal_cr_t cr0, cr2, cr3, cr4;
808 pal_get_control_registers( &cr0, &cr2, &cr3, &cr4 );
817 kprintf("cr0 0x%08x cr2 0x%08x cr3 0x%08x cr4 0x%08x\n",
818 cr0, cr2, cr3, cr4);
829 regs->eip, regs->trapno, trapname, cr0, cr2, cr3, cr4,
848 pal_cr_t cr0, cr2, cr3, cr4;
851 pal_get_control_registers( &cr0, &cr2, &cr3, &cr4 );
862 kprintf("cr0 0x%016llx cr2 0x%016llx cr3 0x%016llx cr4 0x%016llx\n",
863 cr0, cr2, cr3, cr4);
886 cr0, cr2, cr3, cr4,