xen_mark_init_mm_pinned 1056 arch/x86/xen/enlighten.c 	xen_mark_init_mm_pinned();
xen_mark_init_mm_pinned   50 arch/x86/xen/xen-ops.h void xen_mark_init_mm_pinned(void);