Searched refs:xen_reserve_special_pages (Results 1 – 3 of 3) sorted by relevance
38 void __init xen_reserve_special_pages(void);
1628 xen_reserve_special_pages(); in xen_start_kernel()
2300 void __init xen_reserve_special_pages(void) in xen_reserve_special_pages() function