Searched refs:paging_init (Results 1 – 3 of 3) sorted by relevance
300 void paging_init(void);
491 void __init paging_init(void) in paging_init() function
1455 paging_init(); in __start_xen()
Completed in 10 milliseconds