ps3_real_maxaddr
phys[0].mr_size = ps3_real_maxaddr(plat);
static vm_offset_t ps3_real_maxaddr(platform_t);
PLATFORMMETHOD(platform_real_maxaddr, ps3_real_maxaddr),