104 static inline const char *cvmx_fpa_get_name(uint64_t pool)  in cvmx_fpa_get_name()  argument
106 	return cvmx_fpa_pool_info[pool].name;  in cvmx_fpa_get_name()
115 static inline void *cvmx_fpa_get_base(uint64_t pool)  in cvmx_fpa_get_base()  argument
117 	return cvmx_fpa_pool_info[pool].base;  in cvmx_fpa_get_base()
129 static inline int cvmx_fpa_is_member(uint64_t pool, void *ptr)  in cvmx_fpa_is_member()  argument
131 	return ((ptr >= cvmx_fpa_pool_info[pool].base) &&  in cvmx_fpa_is_member()
133 		 ((char *)(cvmx_fpa_pool_info[pool].base)) +  in cvmx_fpa_is_member()
134 		 cvmx_fpa_pool_info[pool].size *  in cvmx_fpa_is_member()
135 		 cvmx_fpa_pool_info[pool].starting_element_count));  in cvmx_fpa_is_member()
183 static inline void *cvmx_fpa_alloc(uint64_t pool)  in cvmx_fpa_alloc()  argument
186 	    cvmx_read_csr(CVMX_ADDR_DID(CVMX_FULL_DID(CVMX_OCT_DID_FPA, pool)));  in cvmx_fpa_alloc()
200 static inline void cvmx_fpa_async_alloc(uint64_t scr_addr, uint64_t pool)  in cvmx_fpa_async_alloc()  argument
210 	data.s.did = CVMX_FULL_DID(CVMX_OCT_DID_FPA, pool);  in cvmx_fpa_async_alloc()
224 static inline void cvmx_fpa_free_nosync(void *ptr, uint64_t pool,  in cvmx_fpa_free_nosync()  argument
230 	    CVMX_ADDR_DIDSPACE(CVMX_FULL_DID(CVMX_OCT_DID_FPA, pool));  in cvmx_fpa_free_nosync()
246 static inline void cvmx_fpa_free(void *ptr, uint64_t pool,  in cvmx_fpa_free()  argument
252 	    CVMX_ADDR_DIDSPACE(CVMX_FULL_DID(CVMX_OCT_DID_FPA, pool));  in cvmx_fpa_free()
281 extern int cvmx_fpa_setup_pool(uint64_t pool, const char *name, void *buffer,
295 extern uint64_t cvmx_fpa_shutdown_pool(uint64_t pool);
304 uint64_t cvmx_fpa_get_block_size(uint64_t pool);