26 static struct VGARegion vga_args[] = {  variable
61     for (i = 0 ; i < ARRAY_SIZE(vga_args); i++) {  in xen_pt_register_vga_regions()
62         if (vga_args[i].type == IORESOURCE_IO) {  in xen_pt_register_vga_regions()
63             vga_args[i].rc = xc_domain_ioport_mapping(xen_xc, xen_domid,  in xen_pt_register_vga_regions()
64                             vga_args[i].guest_base_addr,  in xen_pt_register_vga_regions()
65                             vga_args[i].machine_base_addr,  in xen_pt_register_vga_regions()
66                             vga_args[i].size, DPCI_ADD_MAPPING);  in xen_pt_register_vga_regions()
68             vga_args[i].rc = xc_domain_memory_mapping(xen_xc, xen_domid,  in xen_pt_register_vga_regions()
69                             vga_args[i].guest_base_addr,  in xen_pt_register_vga_regions()
70                             vga_args[i].machine_base_addr,  in xen_pt_register_vga_regions()
71                             vga_args[i].size, DPCI_ADD_MAPPING);  in xen_pt_register_vga_regions()
74         if (vga_args[i].rc) {  in xen_pt_register_vga_regions()
76                     vga_args[i].type == IORESOURCE_IO ? "ioport" : "memory",  in xen_pt_register_vga_regions()
77                     vga_args[i].rc);  in xen_pt_register_vga_regions()
78             return vga_args[i].rc;  in xen_pt_register_vga_regions()
97     for (i = 0 ; i < ARRAY_SIZE(vga_args); i++) {  in xen_pt_unregister_vga_regions()
98         if (vga_args[i].type == IORESOURCE_IO) {  in xen_pt_unregister_vga_regions()
99             vga_args[i].rc = xc_domain_ioport_mapping(xen_xc, xen_domid,  in xen_pt_unregister_vga_regions()
100                             vga_args[i].guest_base_addr,  in xen_pt_unregister_vga_regions()
101                             vga_args[i].machine_base_addr,  in xen_pt_unregister_vga_regions()
102                             vga_args[i].size, DPCI_REMOVE_MAPPING);  in xen_pt_unregister_vga_regions()
104             vga_args[i].rc = xc_domain_memory_mapping(xen_xc, xen_domid,  in xen_pt_unregister_vga_regions()
105                             vga_args[i].guest_base_addr,  in xen_pt_unregister_vga_regions()
106                             vga_args[i].machine_base_addr,  in xen_pt_unregister_vga_regions()
107                             vga_args[i].size, DPCI_REMOVE_MAPPING);  in xen_pt_unregister_vga_regions()
110         if (vga_args[i].rc) {  in xen_pt_unregister_vga_regions()
112                     vga_args[i].type == IORESOURCE_IO ? "ioport" : "memory",  in xen_pt_unregister_vga_regions()
113                     vga_args[i].rc);  in xen_pt_unregister_vga_regions()
114             return vga_args[i].rc;  in xen_pt_unregister_vga_regions()