1*6fdaab4eSNam CaoRULE = always (((RT and USER_THREAD) imply 2*6fdaab4eSNam Cao (not (WOKEN_BY_LOWER_PRIO or WOKEN_BY_SOFTIRQ)) or ALLOWLIST)) 3*6fdaab4eSNam Cao 4*6fdaab4eSNam CaoALLOWLIST = BLOCK_ON_RT_MUTEX 5*6fdaab4eSNam Cao or FUTEX_LOCK_PI 6