1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
|
// SPDX-License-Identifier: MIT
/* Copyright © 2025 Intel Corporation */
#include <linux/device.h>
#include <drm/drm_device.h>
#ifdef CONFIG_X86
#include <asm/hypervisor.h>
#endif
#include "intel_display_core.h"
#include "intel_display_utils.h"
bool intel_display_run_as_guest(struct intel_display *display)
{
#if IS_ENABLED(CONFIG_X86)
return !hypervisor_is_type(X86_HYPER_NATIVE);
#else
/* Not supported yet */
return false;
#endif
}
bool intel_display_vtd_active(struct intel_display *display)
{
if (device_iommu_mapped(display->drm->dev))
return true;
/* Running as a guest, we assume the host is enforcing VT'd */
return intel_display_run_as_guest(display);
}
|