Type dérivé paddr_t

Le type de données paddr_t figurant dans sys/types.h n'est pas pris en charge dans l'environnement de compilation 64 bits. Il n'est actuellement disponible que dans l'environnement de compilation 32 bits.