Symbol: xen_inv_extra_mem
arch/x86/xen/p2m.c
422
xen_inv_extra_mem();
arch/x86/xen/xen-ops.h
50
void __init xen_inv_extra_mem(void);