Searched refs:page_table_config_init (Results 1 – 3 of 3) sorted by relevance
130 static inline void page_table_config_init(void) { } in page_table_config_init() function132 void page_table_config_init(void);
231 page_table_config_init(); in page_init()
189 void page_table_config_init(void) in page_table_config_init() function