Add SCML for ppoll

book/src/kernel/linux-compatibility/README.md

@@ -27,7 +27,7 @@ which are summarized in the table below.
 | 4       | stat                   | ✅             | 💯 |
 | 5       | fstat                  | ✅             | 💯 |
 | 6       | lstat                  | ✅             | 💯 |
-| 7       | poll                   | ✅             | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#poll) |
+| 7       | poll                   | ✅             | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#poll-and-ppoll) |
 | 8       | lseek                  | ✅             | [⚠️](syscall-flag-coverage/file-and-directory-operations/#lseek) |
 | 9       | mmap                   | ✅             | [⚠️](syscall-flag-coverage/memory-management/#mmap-and-munmap) |
 | 10      | mprotect               | ✅             | [⚠️](syscall-flag-coverage/memory-management/#mprotect) |
@@ -291,7 +291,7 @@ which are summarized in the table below.
 | 268     | fchmodat               | ✅             | 💯 |
 | 269     | faccessat              | ✅             | 💯 |
 | 270     | pselect6               | ✅             | 💯 |
-| 271     | ppoll                  | ✅             | ❓ |
+| 271     | ppoll                  | ✅             | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#poll-and-ppoll) |
 | 272     | unshare                | ✅             | ❓ |
 | 273     | set_robust_list        | ✅             | 💯 |
 | 274     | get_robust_list        | ❌             | N/A |

book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md

@@ -101,12 +101,12 @@ Unsupported flags in events:
 For more information,
 see [the man page](https://man7.org/linux/man-pages/man2/epoll_ctl.2.html).
 
-### `poll`
+### `poll` and `ppoll`
 
 Supported functionality in SCML:
 
 ```c
-{{#include poll.scml}}
+{{#include poll_and_ppoll.scml}}
 ```
 
 Unsupported events:

book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/poll_and_ppoll.scml

@@ -6,3 +6,6 @@ struct pollfd = {
 
 // Wait for I/O event on a set of file descriptors
 poll(fds = [ <pollfd> ], nfds, timeout);
+
+// Wait for I/O event on a set of file descriptors with specified signals temporarily blocked
+ppoll(fds = [ <pollfd> ], nfds, timeout, sigset, sigset_size);