From b8654ed1b9786c2bc088e3a7102aebbd6276433d Mon Sep 17 00:00:00 2001 From: jiangjianfeng Date: Wed, 17 Dec 2025 06:53:59 +0000 Subject: [PATCH] Add SCML for faccessat2 --- book/src/kernel/linux-compatibility/README.md | 2 +- .../file-and-directory-operations/README.md | 14 ++++++++++++++ .../file-and-directory-operations/faccessat2.scml | 5 +++++ 3 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/faccessat2.scml diff --git a/book/src/kernel/linux-compatibility/README.md b/book/src/kernel/linux-compatibility/README.md index f507007b3..cb6aa2271 100644 --- a/book/src/kernel/linux-compatibility/README.md +++ b/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 | ✅ | 💯 | diff --git a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md index 12d7ae1b2..7df59f100 100644 --- a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md +++ b/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). \ No newline at end of file diff --git a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/faccessat2.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/faccessat2.scml new file mode 100644 index 000000000..e5285ec36 --- /dev/null +++ b/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 +); \ No newline at end of file