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