xen_reserve_top  1319 arch/x86/xen/enlighten_pv.c 	xen_reserve_top();
xen_reserve_top    37 arch/x86/xen/xen-ops.h void xen_reserve_top(void);