src/mainboard/intel/xe7501devkit/reset.c

   1 #include <reset.h>
   2
   3 void i82801cx_hard_reset(void);
   4
   5 void hard_reset(void)
   6 {
   7         i82801cx_hard_reset();
   8 }