[ros-diffs] 01/01: [KMTESTS:CC] Addendum to 3fe0e28: use ok_irql.