Symbol: PhysDevAddr_t