Home
last modified time | relevance | path

Searched refs:free_kernel_image_pages (Results 1 – 3 of 3) sorted by relevance

/Linux-v5.4/arch/x86/mm/
Dinit.c832 void free_kernel_image_pages(void *begin, void *end) in free_kernel_image_pages() function
868 free_kernel_image_pages(&__init_begin, &__init_end); in free_initmem()
Dinit_64.c1337 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()
/Linux-v5.4/arch/x86/include/asm/
Dprocessor.h961 extern void free_kernel_image_pages(void *begin, void *end);