diff options
author | Roman Gushchin <guro@fb.com> | 2018-08-02 14:27:22 -0700 |
---|---|---|
committer | Daniel Borkmann <daniel@iogearbox.net> | 2018-08-03 00:47:32 +0200 |
commit | 3e6a4b3e0289dc9540a2c1d8a20657f4707fbabb (patch) | |
tree | a8265b30b1738086a0c89cb5f581a0766c82ec63 /tools/include | |
parent | 394e40a29788820c9c0526b1c3497c9e0ec2a126 (diff) | |
download | linux-stable-3e6a4b3e0289dc9540a2c1d8a20657f4707fbabb.tar.gz linux-stable-3e6a4b3e0289dc9540a2c1d8a20657f4707fbabb.tar.bz2 linux-stable-3e6a4b3e0289dc9540a2c1d8a20657f4707fbabb.zip |
bpf/verifier: introduce BPF_PTR_TO_MAP_VALUE
BPF_MAP_TYPE_CGROUP_STORAGE maps are special in a way
that the access from the bpf program side is lookup-free.
That means the result is guaranteed to be a valid
pointer to the cgroup storage; no NULL-check is required.
This patch introduces BPF_PTR_TO_MAP_VALUE return type,
which is required to cause the verifier accept programs,
which are not checking the map value pointer for being NULL.
Signed-off-by: Roman Gushchin <guro@fb.com>
Cc: Alexei Starovoitov <ast@kernel.org>
Cc: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Martin KaFai Lau <kafai@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'tools/include')
0 files changed, 0 insertions, 0 deletions