Searched refs:create_initial_page_tables (Results 1 – 1 of 1) sorted by relevance
137 void create_initial_page_tables(void);560 create_initial_page_tables(void) in create_initial_page_tables() function869 create_initial_page_tables(); in main()