src/southbridge/intel/i82801dbm/i82801dbm_reset.c

#include <arch/io.h>

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