Der Datentyp paddr_t in sys/types.h wird in der 64-Bit-Kompilierungsumgebung nicht unterstützt. Er ist derzeit nur in der 32-Bit-Kompilierungsumgebung verfügbar.
