Searched refs:retrieve_reserved_entries (Results 1 – 3 of 3) sorted by relevance
21 uint32_t retrieve_reserved_entries(void);24 static inline uint32_t retrieve_reserved_entries(void) in retrieve_reserved_entries() function
92 uint32_t retrieve_reserved_entries(void) in retrieve_reserved_entries() function
310 rre_ret = retrieve_reserved_entries(); in bl31_plat_runtime_setup()