xen_reserve_special_pages 1307 arch/x86/xen/enlighten_pv.c 	xen_reserve_special_pages();
xen_reserve_special_pages   38 arch/x86/xen/xen-ops.h void __init xen_reserve_special_pages(void);