struct bpf_reg_state (kernel/bpf/bpf_verifier.h)

Ok so this isn’t really a function, but rather a struct. First line inside of it states that ordering of fields matter. And then it references another function present inside of states.c called states_equal(). We first do an internal analysis of this function.

struct states_equal()