path: root/src/mainboard/tyan/s2735/reset.c

void i82801er_hard_reset(void);

void hard_reset(void)
{
	i82801er_hard_reset();
}