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