Searched refs:igd_write_opregion (Results 1 – 3 of 3) sorted by relevance
23 void igd_write_opregion(XenPCIPassthroughState *s, uint32_t val);
244 void igd_write_opregion(XenPCIPassthroughState *s, uint32_t val) in igd_write_opregion() function
589 igd_write_opregion(s, *value); in xen_pt_intel_opregion_write()