paddr_t might also be a candidate for some of the uses.


note that paddr_t is not always convertable to/from a pointer.
eg, 32 bit sparc has 64 bit paddr_t but 32 bit pointers.


.mrg.