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