src/southbridge/intel/i82801ex/reset.c


1
2
3
4
5
6
7
8

#include <arch/io.h>
#include <reset.h>

void hard_reset(void)
{
	/* Try rebooting through port 0xcf9 */
	outb((0 <<3)|(1<<2)|(1<<1), 0xcf9);
}