Symbol: physaddr_t