Symbol: xen_hvm_domain
sys/dev/xen/blkfront/blkfront.c
1456
if (xen_hvm_domain()) {
sys/dev/xen/timer/xen_timer.c
135
if (xen_hvm_domain()) {
sys/x86/include/xen/xen-os.h
78
return (!xen_hvm_domain() || xen_vector_callback_enabled);
sys/x86/include/xen/xen-os.h
85
return (xen_hvm_domain() && xen_disable_pv_disks != 0);
sys/x86/include/xen/xen-os.h
92
return (xen_hvm_domain() && xen_disable_pv_nics != 0);