Symbol: xen_pv_domain
sys/compat/linuxkpi/common/src/linux_compat.c
2828
return (xen_pv_domain());
sys/x86/xen/hvm.c
396
if (xen_pv_domain()) {
sys/x86/xen/hvm.c
510
!xen_pv_domain(),