1RULE = always (((RT and USER_THREAD) imply 2 (not (WOKEN_BY_LOWER_PRIO or WOKEN_BY_SOFTIRQ)) or ALLOWLIST)) 3 4ALLOWLIST = BLOCK_ON_RT_MUTEX 5 or FUTEX_LOCK_PI 6