include/linux/bpf_verifier.h

1183

int insn_flags, int spi, int frame, u64 linked_regs);

include/linux/bpf_verifier.h

435

u64 linked_regs;

kernel/bpf/backtrack.c

12

int insn_flags, int spi, int frame, u64 linked_regs)

kernel/bpf/backtrack.c

30

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

kernel/bpf/backtrack.c

32

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

kernel/bpf/backtrack.c

33

env->cur_hist_ent->linked_regs = linked_regs;

kernel/bpf/backtrack.c

50

p->linked_regs = linked_regs;

kernel/bpf/verifier.c

15831

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

kernel/bpf/verifier.c

15856

struct linked_regs *linked_regs)

kernel/bpf/verifier.c

15872

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

kernel/bpf/verifier.c

15878

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

kernel/bpf/verifier.c

15887

struct bpf_reg_state *known_reg, struct linked_regs *linked_regs)

kernel/bpf/verifier.c

15894

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

kernel/bpf/verifier.c

15895

e = &linked_regs->entries[i];

kernel/bpf/verifier.c

15954

struct linked_regs linked_regs = {};

kernel/bpf/verifier.c

16080

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

kernel/bpf/verifier.c

16082

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

kernel/bpf/verifier.c

16083

if (linked_regs.cnt > 1) {

kernel/bpf/verifier.c

16084

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

kernel/bpf/verifier.c

16107

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

kernel/bpf/verifier.c

16109

&linked_regs);

kernel/bpf/verifier.c

16113

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

kernel/bpf/verifier.c

16115

&linked_regs);

kernel/bpf/verifier.c

3177

static struct linked_reg *linked_regs_push(struct linked_regs *s)

kernel/bpf/verifier.c

3193

static u64 linked_regs_pack(struct linked_regs *s)

kernel/bpf/verifier.c

3214

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

kernel/bpf/verifier.c

3263

struct linked_regs linked_regs;

kernel/bpf/verifier.c

3267

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

kernel/bpf/verifier.c

3270

linked_regs_unpack(hist->linked_regs, &linked_regs);

kernel/bpf/verifier.c

3271

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

kernel/bpf/verifier.c

3272

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

kernel/bpf/verifier.c

3284

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

kernel/bpf/verifier.c

3285

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