diff options
Diffstat (limited to 'src/user/include')
| -rw-r--r-- | src/user/include/knob/format.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/user/include/knob/format.h b/src/user/include/knob/format.h index 89402c0..d55036c 100644 --- a/src/user/include/knob/format.h +++ b/src/user/include/knob/format.h @@ -5,8 +5,8 @@ #include <stdint.h> bool try_sntoi(const char *s, uint32_t n, uint32_t *out); -void itosz(uint32_t i, char *out); -void itosz_h8(uint8_t i, char *out); -void itosz_h32(uint32_t i, char *out); +void itosz(uint32_t i, char *out) __attribute__ ((access (write_only, 2))); +void itosz_h8(uint8_t i, char *out) __attribute__ ((access (write_only, 2))); +void itosz_h32(uint32_t i, char *out) __attribute__ ((access (write_only, 2))); #endif
\ No newline at end of file |