Searched refs:xen_reserve_top (Results 1 – 3 of 3) sorted by relevance
32 void xen_reserve_top(void);
1211 xen_reserve_top(); in xen_start_kernel()
1639 void __init xen_reserve_top(void) in xen_reserve_top() function