#include "mbedtls_debug.h" #include "mbedtls/debug.h" #include <stdio.h> void MBEDTLS_Debug(void *ctx, int level, const char *file, int line, const char *str) { ((void) level); printf("%s:%04d: %s\r", file, line, str ); }