The paddr_t data type in sys/types.h is not supported in the 64-bit compilation environment. This data type is currently only available in the 32-bit compilation environment.
