boot_page_table_free 80 kernel/arch/arm32/include/arch/mm/frame.h extern void boot_page_table_free(void); boot_page_table_free 81 kernel/arch/arm32/src/mm/page.c boot_page_table_free();