roms/seabios/src/dev-i440fx.h

   1 #ifndef __I440FX_H
   2 #define __I440FX_H
   3
   4 #include "types.h" // u16
   5
   6 void i440fx_bios_make_writable(u16 bdf, void *arg);
   7 void i440fx_bios_make_readonly(u16 bdf, void *arg);
   8 void piix_isa_bridge_init(u16 bdf, void *arg);
   9 void piix_ide_init(u16 bdf, void *arg);
  10 void piix4_pm_init(u16 bdf, void *arg);
  11 void piix4_fadt_init(u16 bdf, void *arg);
  12 void piix4_apmc_smm_init(u16 bdf, void *arg);
  13
  14 #endif // __I440FX_H