Re: [PATCH bpf-next v2 11/16] bpf: wq: add bpf_wq_init

On Apr 24 2024, Alexei Starovoitov wrote: > On Wed, Apr 24, 2024 at 8:06 AM Alexei Starovoitov > wrote: > > > > On Tue, Apr 23, 2024 at 7:55 PM Alexei Starovoitov > > wrote: > > > > > > On Sat, Apr 20, 2024 at 2:10 AM Benjamin Tissoires > > > wrote: > > > > > > > > We need to teach the verifier

Re: [PATCH bpf-next v2 11/16] bpf: wq: add bpf_wq_init

On Wed, Apr 24, 2024 at 8:06 AM Alexei Starovoitov wrote: > > On Tue, Apr 23, 2024 at 7:55 PM Alexei Starovoitov > wrote: > > > > On Sat, Apr 20, 2024 at 2:10 AM Benjamin Tissoires > > wrote: > > > > > > We need to teach the verifier about the second argument which is declared > > > as void * b

Re: [PATCH bpf-next v2 11/16] bpf: wq: add bpf_wq_init

On Tue, Apr 23, 2024 at 7:55 PM Alexei Starovoitov wrote: > > On Sat, Apr 20, 2024 at 2:10 AM Benjamin Tissoires wrote: > > > > We need to teach the verifier about the second argument which is declared > > as void * but which is of type KF_ARG_PTR_TO_MAP. We could have dropped > > this extra case

Re: [PATCH bpf-next v2 11/16] bpf: wq: add bpf_wq_init

On Sat, Apr 20, 2024 at 2:10 AM Benjamin Tissoires wrote: > > We need to teach the verifier about the second argument which is declared > as void * but which is of type KF_ARG_PTR_TO_MAP. We could have dropped > this extra case if we declared the second argument as struct bpf_map *, > but that mea

[PATCH bpf-next v2 11/16] bpf: wq: add bpf_wq_init

We need to teach the verifier about the second argument which is declared as void * but which is of type KF_ARG_PTR_TO_MAP. We could have dropped this extra case if we declared the second argument as struct bpf_map *, but that means users will have to do extra casting to have their program compile.