Pavel Cahyna wrote:
> I mean basically "anything that is 32 bit on i386 and 64 bit on amd64".
>
> CR3 encodes a physical address, but using paddr_t could cause problems
> if we add PAE support, because then I guess paddr_t will have to be 64-bit
> while CR3 is still 32 bit.
>
> I think it should stay as it is.
>
> Pavel
>   
So it should be "unsigned long"...

- Frank