cc32xx_stdio.h

Go to the documentation of this file.

#ifndef CC32XX_STDIO_H_
#define CC32XX_STDIO_H_

#include <stdio.h>

#define KAA_EXIT(e) cc32xx_reboot()
void cc32xx_reboot(void);

#endif /* CC32XX_STDIO_H_ */