/** * Resets XBH */ void xbh_reset(void){ MAP_SysCtlReset(); }
void tn_reset() { tn_cpu_int_disable(); MAP_SysCtlReset(); }