Lines Matching refs:igd_guest_opregion
10 static unsigned long igd_guest_opregion; variable
118 if (igd_guest_opregion) { in xen_pt_unregister_vga_regions()
120 (unsigned long)(igd_guest_opregion >> XC_PAGE_SHIFT), in xen_pt_unregister_vga_regions()
232 if (!igd_guest_opregion) { in igd_read_opregion()
236 val = igd_guest_opregion; in igd_read_opregion()
248 if (igd_guest_opregion) { in igd_write_opregion()
257 igd_guest_opregion = (unsigned long)(val & ~XEN_PCI_INTEL_OPREGION_MASK) in igd_write_opregion()
269 igd_guest_opregion = 0; in igd_write_opregion()
274 (unsigned long)(igd_guest_opregion >> XC_PAGE_SHIFT), in igd_write_opregion()
283 (unsigned long)(igd_guest_opregion >> XC_PAGE_SHIFT)); in igd_write_opregion()
284 igd_guest_opregion = 0; in igd_write_opregion()
290 (unsigned long)(igd_guest_opregion >> XC_PAGE_SHIFT)); in igd_write_opregion()