]> asedeno.scripts.mit.edu Git - linux.git/blobdiff - include/linux/bpf_verifier.h
mm/memory_hotplug: export generic_online_page()
[linux.git] / include / linux / bpf_verifier.h
index cdd08bf0ec06bb78955040f89588efe8671d6e3d..26e40de9ef55f881a2282291670e810bff8318be 100644 (file)
@@ -293,7 +293,7 @@ struct bpf_verifier_state_list {
 struct bpf_insn_aux_data {
        union {
                enum bpf_reg_type ptr_type;     /* pointer type for load/store insns */
-               unsigned long map_state;        /* pointer/poison value for maps */
+               unsigned long map_ptr_state;    /* pointer/poison value for maps */
                s32 call_imm;                   /* saved imm field of call insn */
                u32 alu_limit;                  /* limit for add/sub register with pointer */
                struct {
@@ -301,6 +301,7 @@ struct bpf_insn_aux_data {
                        u32 map_off;            /* offset from value base address */
                };
        };
+       u64 map_key_state; /* constant (32 bit) key tracking for maps */
        int ctx_field_size; /* the ctx field size for load insn, maybe 0 */
        int sanitize_stack_off; /* stack slot to be cleared */
        bool seen; /* this insn was processed by the verifier */