Symbol: xen_bootconf
sys/arch/x86/x86/x86_autoconf.c
544
xen_bootconf();
sys/arch/xen/include/xen.h
299
void xen_bootconf(void);
sys/arch/xen/x86/autoconf.c
174
xen_bootconf();