smm: Don't use PCIDevices list in smm_setup().

The smm_setup() call is invoked from resume.  The PCIDevices list is
only valid during POST.  Cache the necessary PCI BDF ids so that
PCIDevices isn't needed.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>

1 files changed, 1 insertions, 0 deletions

diff --git a/src/util.h b/src/util.h
index 306a8bf8..af029fc0 100644
--- a/src/util.h
+++ b/src/util.h
@@ -314,6 +314,7 @@ extern const u8 pci_irqs[4];
 void pci_setup(void);
 
 // smm.c
+void smm_device_setup(void);
 void smm_setup(void);
 
 // smp.c