Searched defs:page_table_config_init (Results 1 – 2 of 2) sorted by relevance
34 static inline void page_table_config_init(void) { } in page_table_config_init() function
187 void page_table_config_init(void) in page_table_config_init() function