Lines Matching refs:verifier

57 by the verifier to make the usage of kernel functions safer and more useful.
72 Here, the verifier will treat first argument as a PTR_TO_MEM, and second
81 the verifier must check the scalar argument to be a known constant, which does
95 values don't match during verifier state pruning checks.
115 annotation, the verifier will reject the program if the dynptr passed in is
123 the verifier will not check that length is appropriate for the buffer. The kfunc is
135 annotation, the verifier will reject the program if a null pointer is passed in with
167 is ignored, and rewritten by the verifier.
193 In addition to kfuncs' arguments, verifier may need more information about the
223 refcounted object. The verifier will then ensure that the pointer to the object
225 referenced kptr (by invoking bpf_kptr_xchg). If not, the verifier fails the
271 that to the verifier:
331 KF_RCU expect either PTR_TRUSTED or MEM_RCU arguments. The verifier guarantees
386 The verifier will always enforce that the BTF type of a pointer passed to a
388 definition. The verifier, does, however, allow types that are equivalent
401 The verifier would allow a ``struct bpf_cpumask *`` to be passed to a kfunc
422 In order to accommodate such requirements, the verifier will enforce strict
517    programs calling the kfunc will be rejected by the verifier.
665 the verifier. bpf_cgroup_ancestor() can be used as follows: