On 11/22/22 8:54 PM, Yonghong Song wrote:
@@ -7539,6 +7590,17 @@ static int check_helper_call(struct bpf_verifier_env *env, struct bpf_insn *insn return err; }+ if (env->cur_state->active_rcu_lock) {+ if (fn->might_sleep) { + verbose(env, "sleepable helper %s#%din rcu_read_lock region\n",
A nit. Missing a space before "in".
+ func_id_name(func_id), func_id); + return -EINVAL; + }