syscall_restart.h revision c72d22a5
1