restart_syscall(2) on Linux

The text b1f121a9439e, as Debian 11 (Bullseye) shipped it.

restart a system call after interruption by a stop signal

restart_syscall(2) on Linux now