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