派生型 paddr_t

sys/types.h に含まれるデータ型 paddr_t は、64 ビットのコンパイル環境ではサポートされません。このデータ型は、現在 32 ビットのコンパイル環境だけで使用できます。