plat_startup_memlist
if (&plat_startup_memlist) {
alloc_base = plat_startup_memlist(alloc_base);
extern caddr_t plat_startup_memlist(caddr_t alloc_base);