func_instance
static struct func_instance *lookup_instance(struct bpf_verifier_env *env,
struct func_instance *f;
struct func_instance *instance,
static int record_stack_access_off(struct func_instance *instance, s64 fp_off,
static int record_stack_access(struct func_instance *instance,
static int record_imprecise(struct func_instance *instance, u32 mask, u32 insn_idx)
struct func_instance *instance,
struct func_instance *instance;
struct func_instance *instance,
static int relative_idx(struct func_instance *instance, u32 insn_idx)
struct func_instance *instance,
static struct per_frame_masks *get_frame_masks(struct func_instance *instance,
static struct per_frame_masks *alloc_frame_masks(struct func_instance *instance,
static void merge_instances(struct func_instance *dst, struct func_instance *src)
static struct func_instance *fresh_instance(struct func_instance *src)
struct func_instance *f;
static void free_instance(struct func_instance *instance)
struct func_instance *instance,
struct func_instance *prev_instance = NULL;
struct func_instance *fresh = fresh_instance(instance);
static int mark_stack_read(struct func_instance *instance, u32 frame, u32 insn_idx, spis_t mask)
struct func_instance *callee_instance;
static int mark_stack_write(struct func_instance *instance, u32 frame, u32 insn_idx, spis_t mask)
struct func_instance *instance;
struct func_instance *instance, u32 frame, u32 insn_idx)
static void update_instance(struct bpf_verifier_env *env, struct func_instance *instance)
static bool is_live_before(struct func_instance *instance, u32 insn_idx, u32 frameno, u32 half_spi)
struct func_instance *instance;
struct func_instance *instance, *curframe_instance;
struct func_instance *instances[MAX_CALL_FRAMES]; /* valid in range [0..curframe] */
static char *fmt_instance(struct bpf_verifier_env *env, struct func_instance *instance)
static void print_instance(struct bpf_verifier_env *env, struct func_instance *instance)
struct func_instance *a = *(struct func_instance **)pa;
struct func_instance *b = *(struct func_instance **)pb;
struct func_instance *instance, **sorted_instances;
static struct func_instance *find_instance(struct bpf_verifier_env *env,
struct func_instance *f;
static struct func_instance *call_instance(struct bpf_verifier_env *env,
struct func_instance *caller,
struct func_instance *f;