Hello, Tao. On Tue, 08 Sep 2026 18:01:38 +0800, Tao Cui wrote:
> +static struct bpf_struct_ops bpf_iocost_model_ops = {
> + .verifier_ops = &bpf_iocost_verifier_ops,
> + .init = bpf_iocost_model_init,
> + .init_member = bpf_iocost_init_member,
Please add a .check_member callback rejecting sleepable programs. The
generic verifier permits sleepable struct_ops programs, so a model can
currently call bpf_copy_from_user() while iocost_bpf_calc_cost() holds
rcu_read_lock().
Thanks.
--
tejun
