xen_hvm_domain
return (!xen_hvm_domain() || xen_have_vector_callback);
if (!xen_hvm_domain())
} else if (xen_hvm_domain()) {
(xen_hvm_domain() && cpu_online(cpu)))
if (xen_hvm_domain()) {
if (xen_hvm_domain() && (xen_platform_pci_unplug & state))
if (xen_hvm_domain() || (cpu != 0 && !is_xen_pmu))
if (xen_hvm_domain())
if (xen_hvm_domain())
if (xen_hvm_domain() && offset < EMULATED_HD_DISK_NAME_OFFSET + 4)
if (xen_hvm_domain()) {
if (!xen_hvm_domain())
if (xen_hvm_domain()) {
if (xen_hvm_domain())
if (xen_hvm_domain())
if (xen_hvm_domain())
if (rc != -ENOSYS || !xen_hvm_domain())
if (unlikely(evtchn_pending && xen_hvm_domain())) {
if (xen_hvm_domain()) {
if (xen_hvm_domain() && !xen_pvh_domain())
if (xen_hvm_domain())
if (xen_hvm_domain()) {
if (xen_hvm_domain())
if (!xen_hvm_domain() || xen_initial_domain())