Symbol: xen_early_init
sys/x86/include/xen/xen-os.h
98
void xen_early_init(void);
sys/x86/x86/identcpu.c
1383
&xen_early_init,