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