On Fri, Oct 19, 2007 at 09:34:56PM +0000, Pavel Cahyna wrote:
> 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.

You mean paddr_t, don't you? :-) At least CR3 is a physical address after
all.

Joerg