xen_del_extra_mem  528 arch/x86/xen/setup.c 			xen_del_extra_mem(pfn_s, len);
xen_del_extra_mem  536 arch/x86/xen/setup.c 		xen_del_extra_mem(pfn_s, len);