BlockRCU

This case checks for RCU locks around possibly blocking functions. It relies on the same function lists as in the block case. The semantic match finding calls to the blocking functions inside a RCU lock is here. The results obtained with this semantic match for Linux 2.6 are here and the correlation information is here.