diff --git a/book/src/kernel/linux-compatibility/README.md b/book/src/kernel/linux-compatibility/README.md
index aa305a38b..0f2eccb1f 100644
--- a/book/src/kernel/linux-compatibility/README.md
+++ b/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 |
diff --git a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md
index 63da7853e..e569900d8 100644
--- a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md
+++ b/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:
diff --git a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/poll.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/poll_and_ppoll.scml
similarity index 59%
rename from book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/poll.scml
rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/poll_and_ppoll.scml
index 5479822fa..7d313f361 100644
--- a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/poll.scml
+++ b/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);