Lines Matching refs:verifier

59 by the verifier to make the usage of kernel functions safer and more useful.
74 Here, the verifier will treat first argument as a PTR_TO_MEM, and second
83 the verifier must check the scalar argument to be a known constant, which does
97 values don't match during verifier state pruning checks.
117 annotation, the verifier will reject the program if the dynptr passed in is
125 the verifier will not check that length is appropriate for the buffer. The kfunc is
137 annotation, the verifier will reject the program if a null pointer is passed in with
154 In addition to kfuncs' arguments, verifier may need more information about the
184 refcounted object. The verifier will then ensure that the pointer to the object
186 referenced kptr (by invoking bpf_kptr_xchg). If not, the verifier fails the
232 that to the verifier:
292 KF_RCU expect either PTR_TRUSTED or MEM_RCU arguments. The verifier guarantees
347 The verifier will always enforce that the BTF type of a pointer passed to a
349 definition. The verifier, does, however, allow types that are equivalent
362 The verifier would allow a ``struct bpf_cpumask *`` to be passed to a kfunc
383 In order to accommodate such requirements, the verifier will enforce strict
478    programs calling the kfunc will be rejected by the verifier.
626 the verifier. bpf_cgroup_ancestor() can be used as follows: