diff options
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/bpf_verifier.h | 14 |
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 | ||
| 19 | struct bpf_reg_state { | 19 | struct 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 | ||
| 45 | enum bpf_stack_slot_type { | 45 | enum bpf_stack_slot_type { |
