導出的類型 paddr_t

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