Searched refs:igd_guest_opregion (Results 1 – 1 of 1) sorted by relevance
10 static unsigned long igd_guest_opregion; variable118 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()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()[all …]