By the way, in the past we've gotten push-back against using RCU in dual GPL/BSD code. I have no problem relicensing mlx4 to GPL-only and then sticking in the rcu_read_lock() stuff to handle this I guess. - R.