Try to hard-reboot processor on rerun of post under coreboot.

[seabios.git] / src / pci.h

diff --git a/src/pci.h b/src/pci.h
index 9c3108c8ac93c73aec51a2c72c96f8aebd0824c8..64bd43b53774a57b611f6d019ed9a94b574c1b4c 100644 (file)
--- a/src/pci.h
+++ b/src/pci.h
@@ -94,6 +94,7 @@ struct pci_device_id {
 
 int pci_init_device(const struct pci_device_id *table, u16 bdf, void *arg);
 int pci_find_init_device(const struct pci_device_id *ids, void *arg);
+void pci_reboot(void);
 
 // pirtable.c
 void create_pirtable(void);