wakeup.ltl « rtapp « models « verification « tools - kernel/git/stable/linux.git - Linux kernel stable tree

index : kernel/git/stable/linux.git

Linux kernel stable tree

Stable Group

summary refs log tree commit diff

path: root/tools/verification/models/rtapp/wakeup.ltl

blob: a5d63ca0811ac35a43d90e670850eb3c23352bf1 (plain)

RULE = always (((RT and USER_THREAD) imply
		(not (WOKEN_BY_LOWER_PRIO or WOKEN_BY_SOFTIRQ)) or ALLOWLIST))

ALLOWLIST = BLOCK_ON_RT_MUTEX
         or FUTEX_LOCK_PI