Searched refs:init_page (Results 1 – 2 of 2) sorted by relevance
181 static void *init_page(void) in init_page() function469 paging->paging_buffer = init_page(); in xenpaging_init()
652 void init_page (void);
Completed in 7 milliseconds