{
PT_LOG("add an intel graphic card\n");
+ rc = xc_domain_ioport_mapping(xc_handle, domid, 0x3B0, 0x3B0, 0xb,
+ DPCI_ADD_MAPPING);
rc = xc_domain_ioport_mapping(xc_handle, domid, 0x3C0, 0x3C0, 32,
DPCI_ADD_MAPPING);
rc |= xc_domain_memory_mapping(xc_handle, domid, 0xa0, 0xa0, 32,
{
PT_LOG("remove an intel graphic card\n");
+ rc = xc_domain_ioport_mapping(xc_handle, domid, 0x3B0, 0x3B0, 0xb,
+ DPCI_REMOVE_MAPPING);
rc = xc_domain_ioport_mapping(xc_handle, domid, 0x3C0, 0x3C0, 32,
DPCI_REMOVE_MAPPING);
rc |= xc_domain_memory_mapping(xc_handle, domid, 0xa0, 0xa0, 32,