Fix kernel/posix-timers.c:
- bad preprocessor test always tested true, even when it shouldn't. - annotate user pointers with proper annotations. Both found by my automatic type checker tool.
Showing
Please register or sign in to comment