Searched refs:igd_read_opregion (Results 1 – 3 of 3) sorted by relevance
21 uint32_t igd_read_opregion(XenPCIPassthroughState *s);
228 uint32_t igd_read_opregion(XenPCIPassthroughState *s) in igd_read_opregion() function
581 *value = igd_read_opregion(s); in xen_pt_intel_opregion_read()