diff options
Diffstat (limited to 'user')
| -rw-r--r-- | user/user.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/user/user.h b/user/user.h index c6f51b7..2d6ace6 100644 --- a/user/user.h +++ b/user/user.h @@ -51,4 +51,6 @@ void free(void*); int atoi(const char*); int memcmp(const void *, const void *, uint); void *memcpy(void *, const void *, uint); +#ifdef LAB_LOCK int statistics(void*, int); +#endif |