diff options
| author | dzwdz | 2022-08-07 16:58:42 +0200 |
|---|---|---|
| committer | dzwdz | 2022-08-07 16:58:42 +0200 |
| commit | b962cd6062a08c063e6b10afaaa930956ee99e2d (patch) | |
| tree | 215f5c0f5bf86a94dfc742ee365b8eba145a653f /src/user/lib/include/stdlib.h | |
| parent | 93ce4f4248999adeb85c6859dc2b5c54d7a8d7b7 (diff) | |
user/libc: preparation for dlmalloc port
Diffstat (limited to 'src/user/lib/include/stdlib.h')
| -rw-r--r-- | src/user/lib/include/stdlib.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/user/lib/include/stdlib.h b/src/user/lib/include/stdlib.h index 5916ebc..de6e550 100644 --- a/src/user/lib/include/stdlib.h +++ b/src/user/lib/include/stdlib.h @@ -3,3 +3,5 @@ void *malloc(size_t size); void free(void *ptr); + +_Noreturn void abort(void); |