Searched refs:free_kernel_image_pages (Results 1 – 3 of 3) sorted by relevance
832 void free_kernel_image_pages(void *begin, void *end) in free_kernel_image_pages() function868 free_kernel_image_pages(&__init_begin, &__init_end); in free_initmem()
1337 free_kernel_image_pages((void *)text_end, (void *)rodata_start); in mark_rodata_ro()1338 free_kernel_image_pages((void *)rodata_end, (void *)_sdata); in mark_rodata_ro()
961 extern void free_kernel_image_pages(void *begin, void *end);