summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorNam Cao <namcao@linutronix.de>2026-04-01 16:08:28 +0300
committerGabriele Monaco <gmonaco@redhat.com>2026-04-01 16:18:30 +0300
commit00f0dadde8c5036fe6462621a6920549036dce70 (patch)
tree1d6150f60fd44fc8e730be7f0630d06c7ae13dc7 /tools
parentbf86059874ab651eaba9e6e0dd9aa0bc072d2648 (diff)
downloadlinux-00f0dadde8c5036fe6462621a6920549036dce70.tar.xz
rv: Allow epoll in rtapp-sleep monitor
Since commit 0c43094f8cc9 ("eventpoll: Replace rwlock with spinlock"), epoll_wait is real-time-safe syscall for sleeping. Add epoll_wait to the list of rt-safe sleeping APIs. Signed-off-by: Nam Cao <namcao@linutronix.de> Reviewed-by: Gabriele Monaco <gmonaco@redhat.com> Link: https://lore.kernel.org/r/20260401130828.3115428-1-namcao@linutronix.de Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Diffstat (limited to 'tools')
-rw-r--r--tools/verification/models/rtapp/sleep.ltl1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/verification/models/rtapp/sleep.ltl b/tools/verification/models/rtapp/sleep.ltl
index 6379bbeb6212..6f26c4810f78 100644
--- a/tools/verification/models/rtapp/sleep.ltl
+++ b/tools/verification/models/rtapp/sleep.ltl
@@ -5,6 +5,7 @@ RT_FRIENDLY_SLEEP = (RT_VALID_SLEEP_REASON or KERNEL_THREAD)
RT_VALID_SLEEP_REASON = FUTEX_WAIT
or RT_FRIENDLY_NANOSLEEP
+ or EPOLL_WAIT
RT_FRIENDLY_NANOSLEEP = CLOCK_NANOSLEEP
and NANOSLEEP_TIMER_ABSTIME