Tipo paddr_t derivado

El tipo de datos paddr_t, que se encuentra en sys/types.h, no se admite en el entorno de compilación de 64 bits. En la actualidad este tipo de datos sólo está disponible en el de 32 bits.