Derived type paddr_t

The paddr_t data type found in sys/types.h is not supported in the 64-bit compilation environment. It is currently only available in the 32-bit compilation environment. It may be removed from all compilation environments in a future release.