diff options
Diffstat (limited to 'stmhal/mpconfigport.h')
| -rw-r--r-- | stmhal/mpconfigport.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stmhal/mpconfigport.h b/stmhal/mpconfigport.h index 07db263d5e..0f38eb030b 100644 --- a/stmhal/mpconfigport.h +++ b/stmhal/mpconfigport.h @@ -183,6 +183,9 @@ typedef void *machine_ptr_t; // must be of pointer size typedef const void *machine_const_ptr_t; // must be of pointer size typedef long mp_off_t; +void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len); +#define MP_PLAT_PRINT_STRN(str, len) mp_hal_stdout_tx_strn_cooked(str, len) + // We have inlined IRQ functions for efficiency (they are generally // 1 machine instruction). // |