cvmx_bootmem_alloc_named_range_once
ret = cvmx_bootmem_alloc_named_range_once(VECTOR_TABLE_SIZE, 0,
EXPORT_SYMBOL(cvmx_bootmem_alloc_named_range_once);
void *cvmx_bootmem_alloc_named_range_once(uint64_t size,