Searched refs:xen_reserve_top (Results 1 – 3 of 3) sorted by relevance
37 void xen_reserve_top(void);
1317 xen_reserve_top(); in xen_start_kernel()
1717 void __init xen_reserve_top(void) in xen_reserve_top() function
