Searched refs:free_kernel_image_pages (Results 1 – 3 of 3) sorted by relevance
790 void free_kernel_image_pages(void *begin, void *end) in free_kernel_image_pages() function826 free_kernel_image_pages(&__init_begin, &__init_end); in free_initmem()
1286 free_kernel_image_pages((void *)text_end, (void *)rodata_start); in mark_rodata_ro()1287 free_kernel_image_pages((void *)rodata_end, (void *)_sdata); in mark_rodata_ro()
976 extern void free_kernel_image_pages(void *begin, void *end);
