Symbol: x86_add_xen_modules
sys/arch/x86/x86/x86_machdep.c
219
void x86_add_xen_modules(void);
sys/arch/x86/x86/x86_machdep.c
982
x86_add_xen_modules();