Add user pointer annotations to socket, file IO and signal
handling. This pointed out a bug in x86 sys_rt_sigreturn(), btw.
Showing
This diff is collapsed.
Please register or sign in to comment
handling. This pointed out a bug in x86 sys_rt_sigreturn(), btw.