Symbol: xen_setup_vcpu_info
sys/x86/xen/hvm.c
529
xen_setup_vcpu_info();
sys/xen/xen-os.h
50
extern void xen_setup_vcpu_info(void);