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);