Add SCML for faccessat2

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

@@ -346,7 +346,7 @@ which are summarized in the table below.
 | 434     | pidfd_open             | ✅             | 💯 |
 | 435     | clone3                 | ✅             | [⚠️](syscall-flag-coverage/process-and-thread-management/#clone-and-clone3) |
 | 436     | close_range            | ✅             | ❓ |
-| 439     | faccessat2             | ✅             | ❓ |
+| 439     | faccessat2             | ✅             | [⚠️](syscall-flag-coverage/file-and-directory-operations/#faccessat2) |
 | 441     | epoll_pwait2           | ✅             | 💯 |
 | 452     | fchmodat2              | ✅             | 💯 |
 

book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md

@@ -103,3 +103,17 @@ Unsupported flags:
 
 For more information,
 see [the man page](https://man7.org/linux/man-pages/man2/preadv2.2.html).
+
+### `faccessat2`
+
+Supported functionality in SCML:
+
+```c
+{{#include faccessat2.scml}}
+```
+
+Silently-ignored flags:
+* `AT_EACCESS`
+
+For more information,
+see [the man page](https://man7.org/linux/man-pages/man2/faccessat2.2.html).

book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/faccessat2.scml

@@ -0,0 +1,5 @@
+// Check user's permissions for a file
+faccessat2(
+    dirfd, path, mode,
+    flags = AT_EMPTY_PATH | AT_SYMLINK_NOFOLLOW
+);