From f248b83ecce4db67b4df0fbdd14167a4272b7948 Mon Sep 17 00:00:00 2001 From: Cautreoxit Date: Tue, 23 Dec 2025 09:42:44 +0000 Subject: [PATCH] Add SCML for close_range --- book/src/kernel/linux-compatibility/README.md | 2 +- .../file-descriptor-and-io-control/fully_covered.scml | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/book/src/kernel/linux-compatibility/README.md b/book/src/kernel/linux-compatibility/README.md index 6fd003da0..a86a63450 100644 --- a/book/src/kernel/linux-compatibility/README.md +++ b/book/src/kernel/linux-compatibility/README.md @@ -345,7 +345,7 @@ which are summarized in the table below. | 332 | statx | ✅ | [⚠️](syscall-flag-coverage/file-and-directory-operations/#statx) | | 434 | pidfd_open | ✅ | 💯 | | 435 | clone3 | ✅ | [⚠️](syscall-flag-coverage/process-and-thread-management/#clone-and-clone3) | -| 436 | close_range | ✅ | ❓ | +| 436 | close_range | ✅ | 💯 | | 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-descriptor-and-io-control/fully_covered.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fully_covered.scml index f4fd671ab..adb5de003 100644 --- a/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fully_covered.scml +++ b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fully_covered.scml @@ -31,3 +31,6 @@ select(nfds, readfds, writefds, exceptfds, timeout); // Obtain a file descriptor that refers to a process pidfd_open(pid, flags = PIDFD_NONBLOCK); + +// Close all file descriptors in the inclusive range [first, last] +close_range(first, last, flags = CLOSE_RANGE_UNSHARE | CLOSE_RANGE_CLOEXEC); \ No newline at end of file