34 lines
957 B
C
34 lines
957 B
C
|
/*
|
||
|
|
* Copyright (c) 2007, Neocleus Corporation.
|
||
|
|
* Copyright (c) 2007, Intel Corporation.
|
||
|
|
*
|
||
|
|
* SPDX-License-Identifier: GPL-2.0-only
|
||
|
|
*
|
||
|
|
* Alex Novik <alex@neocleus.com>
|
||
|
|
* Allen Kay <allen.m.kay@intel.com>
|
||
|
|
* Guy Zana <guy@neocleus.com>
|
||
|
|
*/
|
||
|
|
#ifndef XEN_IGD_H
|
||
|
|
#define XEN_IGD_H
|
||
|
|
|
||
|
|
#include "hw/xen/xen-host-pci-device.h"
|
||
|
|
|
||
|
|
typedef struct XenPCIPassthroughState XenPCIPassthroughState;
|
||
|
|
|
||
|
|
bool xen_igd_gfx_pt_enabled(void);
|
||
|
|
void xen_igd_gfx_pt_set(bool value, Error **errp);
|
||
|
|
|
||
|
|
uint32_t igd_read_opregion(XenPCIPassthroughState *s);
|
||
|
|
void xen_igd_reserve_slot(PCIBus *pci_bus);
|
||
|
|
void igd_write_opregion(XenPCIPassthroughState *s, uint32_t val);
|
||
|
|
void xen_igd_passthrough_isa_bridge_create(XenPCIPassthroughState *s,
|
||
|
|
XenHostPCIDevice *dev);
|
||
|
|
|
||
|
|
static inline bool is_igd_vga_passthrough(XenHostPCIDevice *dev)
|
||
|
|
{
|
||
|
|
return (xen_igd_gfx_pt_enabled()
|
||
|
|
&& ((dev->class_code >> 0x8) == PCI_CLASS_DISPLAY_VGA));
|
||
|
|
}
|
||
|
|
|
||
|
|
#endif
|