xen_pt_check_e820  887 arch/x86/xen/setup.c 	xen_pt_check_e820();
xen_pt_check_e820   39 arch/x86/xen/xen-ops.h void __init xen_pt_check_e820(void);