aboutsummaryrefslogtreecommitdiffstats
path: root/include/linux
diff options
context:
space:
mode:
Diffstat (limited to 'include/linux')
-rw-r--r--include/linux/bpf_verifier.h14
1 files changed, 7 insertions, 7 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h
index 7453c1281531..a13b031dc6b8 100644
--- a/include/linux/bpf_verifier.h
+++ b/include/linux/bpf_verifier.h
@@ -18,13 +18,6 @@
18 18
19struct bpf_reg_state { 19struct bpf_reg_state {
20 enum bpf_reg_type type; 20 enum bpf_reg_type type;
21 /*
22 * Used to determine if any memory access using this register will
23 * result in a bad access.
24 */
25 s64 min_value;
26 u64 max_value;
27 u32 id;
28 union { 21 union {
29 /* valid when type == CONST_IMM | PTR_TO_STACK | UNKNOWN_VALUE */ 22 /* valid when type == CONST_IMM | PTR_TO_STACK | UNKNOWN_VALUE */
30 s64 imm; 23 s64 imm;
@@ -40,6 +33,13 @@ struct bpf_reg_state {
40 */ 33 */
41 struct bpf_map *map_ptr; 34 struct bpf_map *map_ptr;
42 }; 35 };
36 u32 id;
37 /* Used to determine if any memory access using this register will
38 * result in a bad access. These two fields must be last.
39 * See states_equal()
40 */
41 s64 min_value;
42 u64 max_value;
43}; 43};
44 44
45enum bpf_stack_slot_type { 45enum bpf_stack_slot_type {