xen_inv_extra_mem  436 arch/x86/xen/p2m.c 	xen_inv_extra_mem();
xen_inv_extra_mem   49 arch/x86/xen/xen-ops.h void __init xen_inv_extra_mem(void);