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