__cvmx_bootmem_phy_free
__cvmx_bootmem_phy_free(named_block_ptr->base_addr,
__cvmx_bootmem_phy_free(addr,
__cvmx_bootmem_phy_free(addr,
__cvmx_bootmem_phy_free(OCTEON_DDR1_BASE, OCTEON_DDR1_SIZE, 0);
__cvmx_bootmem_phy_free(OCTEON_DDR2_BASE,
__cvmx_bootmem_phy_free(OCTEON_DDR1_BASE, mem_size, 0);
int __cvmx_bootmem_phy_free(uint64_t phy_addr, uint64_t size, uint32_t flags);