struct pci_config_cf8 machine_bdf;
int free_pci_slot = -1;
uint16_t class, vendor_id;
- uint32_t opregion;
PT_LOG("Assigning real physical device %02x:%02x.%x ...\n",
r_bus, r_dev, r_func);
DPCI_ADD_MAPPING);
rc |= xc_domain_memory_mapping(xc_handle, domid, 0xa0, 0xa0, 32,
DPCI_ADD_MAPPING);
- if ( vendor_id == 0x8086 )
- {
- opregion = pt_pci_host_read_long(0, 2, 0, 0xfc) >> XC_PAGE_SHIFT;
- PT_LOG("map opregion 0x%x\n", opregion);
- rc |= xc_domain_memory_mapping(xc_handle, domid, 0x7d5ae, opregion, 2,
- DPCI_ADD_MAPPING);
- }
if ( rc != 0 )
{
PT_LOG("legacy mapping failed !\n");
uint32_t bdf = 0;
int rc = -1;
uint16_t class, vendor_id;
- uint32_t opregion;
if ( php_slot < 0 || php_slot >= PHP_SLOT_LEN )
return -1;
DPCI_REMOVE_MAPPING);
rc |= xc_domain_memory_mapping(xc_handle, domid, 0xa0, 0xa0, 32,
DPCI_REMOVE_MAPPING);
- if ( vendor_id == 0x8086 )
- {
- opregion = pt_pci_host_read_long(0, 2, 0, 0xfc) >> XC_PAGE_SHIFT;
- rc |= xc_domain_memory_mapping(xc_handle, domid, 0x7d5ae, opregion, 2,
- DPCI_REMOVE_MAPPING);
- }
if ( rc != 0 )
{
PT_LOG("legacy unmapping failed !\n");