Symbol: phys_addr_t