src/mainboard/supermicro/x6dhr_ig2/reset.c

   1 #include <arch/io.h>
   2 #include <reset.h>
   3
   4 void soft_reset(void)
   5 {
   6         outb(0x04, 0xcf9);
   7 }
   8
   9 void hard_reset(void)
  10 {
  11         outb(0x02, 0xcf9);
  12         outb(0x06, 0xcf9);
  13 }