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