Searched refs:xen_reserve_special_pages (Results 1 – 3 of 3) sorted by relevance
42 void __init xen_reserve_special_pages(void);
1441 xen_reserve_special_pages(); in xen_start_kernel()
2005 void __init xen_reserve_special_pages(void) in xen_reserve_special_pages() function