src/southbridge/intel/i82801ex/reset.c

   1 #include <arch/io.h>
   2 #include <reset.h>
   3
   4 void hard_reset(void)
   5 {
   6         /* Try rebooting through port 0xcf9 */
   7         outb((0 <<3)|(1<<2)|(1<<1), 0xcf9);
   8 }