include/linux/bpf_verifier.h

357

u64 linked_regs;

kernel/bpf/verifier.c

17369

static void __collect_linked_regs(struct linked_regs *reg_set, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

17394

struct linked_regs *linked_regs)

kernel/bpf/verifier.c

17410

__collect_linked_regs(linked_regs, reg, id, i, j, true);

kernel/bpf/verifier.c

17416

__collect_linked_regs(linked_regs, reg, id, i, j, false);

kernel/bpf/verifier.c

17425

struct bpf_reg_state *known_reg, struct linked_regs *linked_regs)

kernel/bpf/verifier.c

17432

for (i = 0; i < linked_regs->cnt; ++i) {

kernel/bpf/verifier.c

17433

e = &linked_regs->entries[i];

kernel/bpf/verifier.c

17492

struct linked_regs linked_regs = {};

kernel/bpf/verifier.c

17629

collect_linked_regs(env, this_branch, src_reg->id, &linked_regs);

kernel/bpf/verifier.c

17631

collect_linked_regs(env, this_branch, dst_reg->id, &linked_regs);

kernel/bpf/verifier.c

17632

if (linked_regs.cnt > 1) {

kernel/bpf/verifier.c

17633

err = push_jmp_history(env, this_branch, 0, linked_regs_pack(&linked_regs));

kernel/bpf/verifier.c

17667

sync_linked_regs(env, this_branch, src_reg, &linked_regs);

kernel/bpf/verifier.c

17669

&linked_regs);

kernel/bpf/verifier.c

17673

sync_linked_regs(env, this_branch, dst_reg, &linked_regs);

kernel/bpf/verifier.c

17675

&linked_regs);

kernel/bpf/verifier.c

4032

static struct linked_reg *linked_regs_push(struct linked_regs *s)

kernel/bpf/verifier.c

4047

static u64 linked_regs_pack(struct linked_regs *s)

kernel/bpf/verifier.c

4068

static void linked_regs_unpack(u64 val, struct linked_regs *s)

kernel/bpf/verifier.c

4087

int insn_flags, u64 linked_regs)

kernel/bpf/verifier.c

4103

verifier_bug_if(env->cur_hist_ent->linked_regs != 0, env,

kernel/bpf/verifier.c

4105

env->insn_idx, env->cur_hist_ent->linked_regs);

kernel/bpf/verifier.c

4106

env->cur_hist_ent->linked_regs = linked_regs;

kernel/bpf/verifier.c

4121

p->linked_regs = linked_regs;

kernel/bpf/verifier.c

4350

struct linked_regs linked_regs;

kernel/bpf/verifier.c

4354

if (!hist || hist->linked_regs == 0)

kernel/bpf/verifier.c

4357

linked_regs_unpack(hist->linked_regs, &linked_regs);

kernel/bpf/verifier.c

4358

for (i = 0; i < linked_regs.cnt; ++i) {

kernel/bpf/verifier.c

4359

struct linked_reg *e = &linked_regs.entries[i];

kernel/bpf/verifier.c

4371

for (i = 0; i < linked_regs.cnt; ++i) {

kernel/bpf/verifier.c

4372

struct linked_reg *e = &linked_regs.entries[i];