Symbol: VMM_GUEST_XEN
sys/kern/subr_param.c
125
{ "Xen", VMM_GUEST_XEN }, /* Xen */
sys/platform/pc64/x86_64/initcpu.c
168
{ "XenVMMXenVMM", VMM_GUEST_XEN }, /* XEN */