Searched refs:free_resource_info (Results 1 – 4 of 4) sorted by relevance
56 extern void free_resource_info (void);
1237 free_resource_info (void) in free_resource_info() function
3752 free_resource_info (); in dbr_schedule()
6333 (free_resource_info): Free the memory.