Symbol: multiphysaddr_t