導出類型 paddr_t

在 sys/types.h 中的 paddr_t 資料類型在 64 位元的編譯環境中不受支援。此資料類型目前僅有在 32 位元的編譯環境中才可供使用。