On Sat, Nov 24, 2007 at 11:51:23PM +0000, Christos Zoulas wrote:
> 
> Module Name:	src
> Committed By:	christos
> Date:		Sat Nov 24 23:51:23 UTC 2007
> 
> Modified Files:
> 	src/sys/arch/amd64/amd64: trap.c
> 	src/sys/arch/amd64/include: pcb.h
> 
> Log Message:
> preserve cr2 on pcb for the benefit of linux emulation.

This should be an uint64_t. For linux32, it doesn't matter, but
if this value is going to be used for other purposes, it must have
the full 64 bits.

- Frank