Symbol: xen_pt_check_e820
arch/x86/xen/setup.c
874
xen_pt_check_e820();
arch/x86/xen/xen-ops.h
43
void __init xen_pt_check_e820(void);