cvmx_bootmem_phy_alloc
cvmx_bootmem_phy_alloc(size, min_addr, max_addr, alignment, 0);
addr_allocated = cvmx_bootmem_phy_alloc(size, min_addr, max_addr,
memory = cvmx_bootmem_phy_alloc(mem_alloc_size,
int64_t cvmx_bootmem_phy_alloc(uint64_t req_size, uint64_t address_min,