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);