src/mainboard/tyan/s2735/reset.c


1
2
3
4
5
6
7
8

#include <reset.h>
void i82801ex_hard_reset(void);

/* FIXME: There's another hard_reset() in romstage.c. Why? */
void hard_reset(void)
{
	i82801ex_hard_reset();
}