--- qemu/roms/seabios/src/dev-i440fx.h	2018/04/24 18:27:42	1.1.1.1
+++ qemu/roms/seabios/src/dev-i440fx.h	2018/04/24 18:36:58	1.1.1.2
@@ -3,8 +3,12 @@
 
 #include "types.h" // u16
 
+void i440fx_bios_make_writable(u16 bdf, void *arg);
+void i440fx_bios_make_readonly(u16 bdf, void *arg);
 void piix_isa_bridge_init(u16 bdf, void *arg);
 void piix_ide_init(u16 bdf, void *arg);
 void piix4_pm_init(u16 bdf, void *arg);
+void piix4_fadt_init(u16 bdf, void *arg);
+void piix4_apmc_smm_init(u16 bdf, void *arg);
 
 #endif // __I440FX_H