Il tipo di dati paddr_t usato in sys/types.h non è supportato nell'ambiente di compilazione a 64 bit. Esso è attualmente disponibile solo nell'ambiente di compilazione a 32 bit.
