Searched refs:build_page_tables (Results 1 – 1 of 1) sorted by relevance
1660 build_page_tables(void) in build_page_tables() function2191 build_page_tables(); in startup_kernel()