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, sólo está disponible en el entorno de compilación de 32 bits.