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