// Determine platform type and save Host Bridge DID to PCD\r
//\r
switch (mHostBridgeDevId) {\r
- case 0x1275: // BHYVE\r
+ case 0x7432: // BHYVE (AMD hostbridge)\r
+ case 0x1275: // BHYVE (Intel hostbridge)\r
case INTEL_82441_DEVICE_ID:\r
PmCmd = POWER_MGMT_REGISTER_PIIX4 (PCI_COMMAND_OFFSET);\r
Pmba = POWER_MGMT_REGISTER_PIIX4 (PIIX4_PMBA);\r
// and should match SeaBIOS src/fw/pciinit.c *_pci_slot_get_irq()\r
//\r
switch (mHostBridgeDevId) {\r
- case 0x1275: // BHYVE\r
+ case 0x7432: // BHYVE (AMD hostbridge)\r
+ case 0x1275: // BHYVE (Intel hostbridge)\r
case INTEL_82441_DEVICE_ID:\r
Idx -= 1;\r
break;\r
//\r
mHostBridgeDevId = PcdGet16 (PcdOvmfHostBridgePciDevId);\r
switch (mHostBridgeDevId) {\r
- case 0x1275: // BHYVE\r
+ case 0x7432: // BHYVE (AMD hostbridge)\r
+ case 0x1275: // BHYVE (Intel hostbridge)\r
case INTEL_82441_DEVICE_ID:\r
Pmba = POWER_MGMT_REGISTER_PIIX4 (PIIX4_PMBA);\r
//\r