On Fri, Oct 19, 2007 at 09:34:56PM +0000, Pavel Cahyna wrote:
> 
> Module Name:	src
> Committed By:	pavel
> Date:		Fri Oct 19 21:34:56 UTC 2007
> 
> Modified Files:
> 	src/sys/arch/x86/x86: mtrr_i686.c
> 
> Log Message:
> The control registers (notably CR3 and CR4) are 64-bit on amd64 (see
> "AMD64 Architecture Programmer's Manual"). Declare the variables
> holding them as vaddr_t, otherwise the upper bits are lost.
> 
> (CR0 is actually 64-bit too, but the upper bits are unused, so I am
> not changing it now.)
> 
> Should fix the reboot caused by X11. From Arto Huusko in
> PR port-amd64/37043.

Forgot to say that it was reviewed by Quentin Garnier.