/* Work around missing PCI BIOS calls in the cut-down SeaBIOS found in
 * some AWS EC2 instances.
 */
#ifdef PLATFORM_pcbios
#undef PCIAPI_PCBIOS
#define PCIAPI_CLOUD
#define PCIAPI_RUNTIME_ECAM
#define PCIAPI_RUNTIME_PCBIOS
#define PCIAPI_RUNTIME_DIRECT
#endif

/* Work around missing PCI host bridge drivers in the cut-down UEFI found
 * in some AWS EC2 instances.
 */
#ifdef PLATFORM_efi
#undef PCIAPI_EFI
#define PCIAPI_CLOUD
#define PCIAPI_RUNTIME_EFI
#define PCIAPI_RUNTIME_ECAM
#endif