diff options
Diffstat (limited to 'libs/libc/inc/stack.h')
| -rw-r--r-- | libs/libc/inc/stack.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/libs/libc/inc/stack.h b/libs/libc/inc/stack.h index f5ad52b..54d1918 100644 --- a/libs/libc/inc/stack.h +++ b/libs/libc/inc/stack.h @@ -17,12 +17,12 @@ struct stack { }; struct stack *stack_new(void); -void stack_destroy(struct stack *stack); -u32 stack_empty(struct stack *stack); -u32 stack_push_bot(struct stack *stack, void *data); -u32 stack_push(struct stack *stack, void *data); -void *stack_pop(struct stack *stack); -void *stack_peek(struct stack *stack); -void stack_clear(struct stack *stack); +void stack_destroy(struct stack *stack) NONNULL; +u32 stack_empty(struct stack *stack) NONNULL; +u32 stack_push_bot(struct stack *stack, void *data) NONNULL; +u32 stack_push(struct stack *stack, void *data) NONNULL; +void *stack_pop(struct stack *stack) NONNULL; +void *stack_peek(struct stack *stack) NONNULL; +void stack_clear(struct stack *stack) NONNULL; #endif |