src/mainboard/tyan/s2735/reset.c

   1 void i82801er_hard_reset(void);
   2
   3 /* FIXME: There's another hard_reset() in romstage.c. Why? */
   4 void hard_reset(void)
   5 {
   6         i82801er_hard_reset();
   7 }