Searched refs:sync_initial_page_table (Results 1 – 2 of 2) sorted by relevance
278 sync_initial_page_table(); in setup_cpu_entry_areas()
30 static inline void sync_initial_page_table(void) { } in sync_initial_page_table() function