diff options
| author | Roman Gushchin <[email protected]> | 2018-08-02 14:27:22 -0700 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2018-08-03 00:47:32 +0200 |
| commit | 3e6a4b3e0289dc9540a2c1d8a20657f4707fbabb (patch) | |
| tree | a8265b30b1738086a0c89cb5f581a0766c82ec63 /drivers/fpga/fpga-mgr.c | |
| parent | 394e40a29788820c9c0526b1c3497c9e0ec2a126 (diff) | |
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 <[email protected]>
Cc: Alexei Starovoitov <[email protected]>
Cc: Daniel Borkmann <[email protected]>
Acked-by: Martin KaFai Lau <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'drivers/fpga/fpga-mgr.c')
0 files changed, 0 insertions, 0 deletions