include/linux/bpf_verifier.h

1089

int insn_flags, u64 linked_regs);

include/linux/bpf_verifier.h

410

u64 linked_regs;

kernel/bpf/backtrack.c

12

int insn_flags, u64 linked_regs)

kernel/bpf/backtrack.c

28

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

kernel/bpf/backtrack.c

30

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

kernel/bpf/backtrack.c

31

env->cur_hist_ent->linked_regs = linked_regs;

kernel/bpf/backtrack.c

46

p->linked_regs = linked_regs;

kernel/bpf/verifier.c

16170

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

kernel/bpf/verifier.c

16195

struct linked_regs *linked_regs)

kernel/bpf/verifier.c

16211

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

kernel/bpf/verifier.c

16217

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

kernel/bpf/verifier.c

16226

struct bpf_reg_state *known_reg, struct linked_regs *linked_regs)

kernel/bpf/verifier.c

16233

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

kernel/bpf/verifier.c

16234

e = &linked_regs->entries[i];

kernel/bpf/verifier.c

16293

struct linked_regs linked_regs = {};

kernel/bpf/verifier.c

16419

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

kernel/bpf/verifier.c

16421

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

kernel/bpf/verifier.c

16422

if (linked_regs.cnt > 1) {

kernel/bpf/verifier.c

16423

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

kernel/bpf/verifier.c

16446

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

kernel/bpf/verifier.c

16448

&linked_regs);

kernel/bpf/verifier.c

16452

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

kernel/bpf/verifier.c

16454

&linked_regs);

kernel/bpf/verifier.c

3530

static struct linked_reg *linked_regs_push(struct linked_regs *s)

kernel/bpf/verifier.c

3545

static u64 linked_regs_pack(struct linked_regs *s)

kernel/bpf/verifier.c

3566

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

kernel/bpf/verifier.c

3615

struct linked_regs linked_regs;

kernel/bpf/verifier.c

3619

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

kernel/bpf/verifier.c

3622

linked_regs_unpack(hist->linked_regs, &linked_regs);

kernel/bpf/verifier.c

3623

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

kernel/bpf/verifier.c

3624

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

kernel/bpf/verifier.c

3636

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

kernel/bpf/verifier.c

3637

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