Searched refs:free_shared_pages (Results 1 – 5 of 5) sorted by relevance
47 void free_shared_pages(void **pages, unsigned int num);
185 free_shared_pages(pages, TEST_PAGES); in main()
186 free_shared_pages(pages, TEST_PAGES); in main()
200 free_shared_pages(pages + SHARED_PAGE, N_SHARED_PAGES); in main()
311 void free_shared_pages(void **pages, unsigned int num) in free_shared_pages() function