[ros-diffs] [hbirr] 14013: Added two missing calls to KeLeaveCriticalRegion.