Searched refs:page_table_config_init (Results 1 – 3 of 3) sorted by relevance
34 static inline void page_table_config_init(void) { } in page_table_config_init() function36 void page_table_config_init(void);
259 page_table_config_init(); in page_init()
188 void page_table_config_init(void) in page_table_config_init() function