Symbol: xen_set_version
usr/src/uts/i86xpv/os/xen_machdep.c
616
xen_set_version(XENVER_CURRENT_IDX);
usr/src/uts/i86xpv/os/xen_machdep.c
911
xen_set_version(XENVER_BOOT_IDX);