drivers/net/ethernet/netronome/nfp/bpf/verifier.c

780

info = env->subprog_info;

include/linux/bpf_verifier.h

1028

return &env->subprog_info[subprog];

include/linux/bpf_verifier.h

945

struct bpf_subprog_info subprog_info[BPF_MAX_SUBPROGS + 2]; /* max + 2 for the fake and exception subprogs */

kernel/bpf/btf.c

7980

struct bpf_subprog_info *sub = subprog_info(env, subprog);

kernel/bpf/cfg.c

581

? env->subprog_info[env->exception_callback_subprog].start

kernel/bpf/cfg.c

640

env->prog->aux->changes_pkt_data = env->subprog_info[0].changes_pkt_data;

kernel/bpf/cfg.c

641

env->prog->aux->might_sleep = env->subprog_info[0].might_sleep;

kernel/bpf/cfg.c

672

env->subprog_info[i].postorder_start = cur_postorder;

kernel/bpf/cfg.c

673

stack[0] = env->subprog_info[i].start;

kernel/bpf/cfg.c

693

env->subprog_info[i].postorder_start = cur_postorder;

kernel/bpf/check_btf.c

15

if (env->subprog_info[i].has_ld_abs) {

kernel/bpf/check_btf.c

175

if (env->subprog_info[i].start != krecord[i].insn_off) {

kernel/bpf/check_btf.c

189

if (i && !scalar_return && env->subprog_info[i].has_ld_abs) {

kernel/bpf/check_btf.c

19

if (env->subprog_info[i].has_tail_call) {

kernel/bpf/check_btf.c

193

if (i && !scalar_return && env->subprog_info[i].has_tail_call) {

kernel/bpf/check_btf.c

198

env->subprog_info[i].name = btf_name_by_offset(btf, type->name_off);

kernel/bpf/check_btf.c

249

sub = env->subprog_info;

kernel/bpf/const_fold.c

257

int start = env->subprog_info[i].start;

kernel/bpf/core.c

1648

sub = &env->subprog_info[prog->aux->func_idx];

kernel/bpf/fixups.c

1003

env->subprog_info[i].start = orig_starts[i];

kernel/bpf/fixups.c

1005

env->subprog_info[env->subprog_cnt].start = env->prog->len;

kernel/bpf/fixups.c

1085

subprog_end = env->subprog_info[i + 1].start;

kernel/bpf/fixups.c

1125

func[i]->aux->stack_depth = env->subprog_info[i].stack_depth;

kernel/bpf/fixups.c

1126

if (env->subprog_info[i].priv_stack_mode == PRIV_STACK_ADAPTIVE)

kernel/bpf/fixups.c

1136

func[i]->aux->linfo_idx = env->subprog_info[i].linfo_idx;

kernel/bpf/fixups.c

1158

func[i]->aux->tail_call_reachable = env->subprog_info[i].tail_call_reachable;

kernel/bpf/fixups.c

1159

func[i]->aux->exception_cb = env->subprog_info[i].is_exception_cb;

kernel/bpf/fixups.c

1160

func[i]->aux->changes_pkt_data = env->subprog_info[i].changes_pkt_data;

kernel/bpf/fixups.c

1161

func[i]->aux->might_sleep = env->subprog_info[i].might_sleep;

kernel/bpf/fixups.c

1387

struct bpf_subprog_info *subprog = &env->subprog_info[i];

kernel/bpf/fixups.c

1412

if (bpf_in_stack_arg_cnt(&env->subprog_info[i])) {

kernel/bpf/fixups.c

1454

struct bpf_subprog_info *info = env->subprog_info;

kernel/bpf/fixups.c

1495

struct bpf_subprog_info *subprogs = env->subprog_info;

kernel/bpf/fixups.c

151

return env->subprog_info[subprog].stack_depth;

kernel/bpf/fixups.c

208

if (env->subprog_info[i].start <= off)

kernel/bpf/fixups.c

210

env->subprog_info[i].start += len - 1;

kernel/bpf/fixups.c

2493

callback_start = env->subprog_info[callback_subprogno].start;

kernel/bpf/fixups.c

2520

struct bpf_subprog_info *subprogs = env->subprog_info;

kernel/bpf/fixups.c

2558

env->prog->aux->stack_depth = env->subprog_info[0].stack_depth;

kernel/bpf/fixups.c

2568

struct bpf_subprog_info *subprog = env->subprog_info;

kernel/bpf/fixups.c

324

if (env->subprog_info[i].start >= off)

kernel/bpf/fixups.c

328

if (env->subprog_info[j].start >= off + cnt)

kernel/bpf/fixups.c

333

if (env->subprog_info[j].start != off + cnt)

kernel/bpf/fixups.c

343

memmove(env->subprog_info + i,

kernel/bpf/fixups.c

344

env->subprog_info + j,

kernel/bpf/fixups.c

345

sizeof(*env->subprog_info) * move);

kernel/bpf/fixups.c

362

if (env->subprog_info[i].start == off)

kernel/bpf/fixups.c

368

env->subprog_info[i].start -= cnt;

kernel/bpf/fixups.c

424

if (env->subprog_info[i].linfo_idx > l_off) {

kernel/bpf/fixups.c

428

if (env->subprog_info[i].linfo_idx >= l_off + l_cnt)

kernel/bpf/fixups.c

429

env->subprog_info[i].linfo_idx -= l_cnt;

kernel/bpf/fixups.c

431

env->subprog_info[i].linfo_idx = l_off;

kernel/bpf/fixups.c

690

struct bpf_subprog_info *subprogs = env->subprog_info;

kernel/bpf/fixups.c

995

starts[i] = env->subprog_info[i].start;

kernel/bpf/liveness.c

109

subprog_start = env->subprog_info[st->frame[frameno]->subprogno].start;

kernel/bpf/liveness.c

1531

int start = env->subprog_info[subprog].start;

kernel/bpf/liveness.c

1623

int start = env->subprog_info[subprog].start;

kernel/bpf/liveness.c

1624

int po_start = env->subprog_info[subprog].postorder_start;

kernel/bpf/liveness.c

1625

int end = env->subprog_info[subprog + 1].start;

kernel/bpf/liveness.c

1626

int po_end = env->subprog_info[subprog + 1].postorder_start;

kernel/bpf/liveness.c

1856

int start = env->subprog_info[subprog].start;

kernel/bpf/liveness.c

1857

int po_start = env->subprog_info[subprog].postorder_start;

kernel/bpf/liveness.c

1858

int po_end = env->subprog_info[subprog + 1].postorder_start;

kernel/bpf/liveness.c

315

subprog = &env->subprog_info[instance->subprog];

kernel/bpf/liveness.c

410

const char *name = env->subprog_info[subprog].name;

kernel/bpf/liveness.c

480

int start = env->subprog_info[instance->subprog].start;

kernel/bpf/liveness.c

79

u32 subprog_start = env->subprog_info[subprog].start;

kernel/bpf/liveness.c

95

f->insn_cnt = (env->subprog_info + subprog + 1)->start - subprog_start;

kernel/bpf/verifier.c

13261

struct bpf_subprog_info *caller_info = &env->subprog_info[caller->subprogno];

kernel/bpf/verifier.c

1385

if (env->subprog_info[state->subprogno].stack_depth < size)

kernel/bpf/verifier.c

1386

env->subprog_info[state->subprogno].stack_depth = size;

kernel/bpf/verifier.c

16877

struct bpf_subprog_info *subprog = env->subprog_info;

kernel/bpf/verifier.c

16913

aux->func_info[i].insn_off = env->subprog_info[i].start;

kernel/bpf/verifier.c

17299

if (bpf_in_stack_arg_cnt(&env->subprog_info[cur_func(env)->subprogno]))

kernel/bpf/verifier.c

18358

struct bpf_subprog_info *sub = subprog_info(env, subprog);

kernel/bpf/verifier.c

18384

state->first_insn_idx = env->subprog_info[subprog].start;

kernel/bpf/verifier.c

18552

env->insn_idx = env->subprog_info[i].start;

kernel/bpf/verifier.c

18555

env->subprog_info[i].insn_processed = env->insn_processed - insn_processed;

kernel/bpf/verifier.c

18587

env->subprog_info[0].insn_processed = env->insn_processed - insn_processed;

kernel/bpf/verifier.c

18589

env->prog->aux->stack_depth = env->subprog_info[0].stack_depth;

kernel/bpf/verifier.c

18602

verbose(env, "stack depth %d", env->subprog_info[0].stack_depth);

kernel/bpf/verifier.c

18604

verbose(env, "+%d", env->subprog_info[i].stack_depth);

kernel/bpf/verifier.c

18606

verbose(env, "insns processed %d", env->subprog_info[0].insn_processed);

kernel/bpf/verifier.c

18609

verbose(env, "+%d", env->subprog_info[i].insn_processed);

kernel/bpf/verifier.c

18721

if (has_refcounted_arg && env->subprog_info[i].has_tail_call) {

kernel/bpf/verifier.c

2322

struct bpf_subprog_info *vals = env->subprog_info;

kernel/bpf/verifier.c

2348

return p - env->subprog_info;

kernel/bpf/verifier.c

2368

env->subprog_info[env->subprog_cnt++].start = off;

kernel/bpf/verifier.c

2369

sort(env->subprog_info, env->subprog_cnt,

kernel/bpf/verifier.c

2370

sizeof(env->subprog_info[0]), cmp_subprogs, NULL);

kernel/bpf/verifier.c

2779

struct bpf_subprog_info *subprog = env->subprog_info;

kernel/bpf/verifier.c

2820

if (env->subprog_info[i].start != ex_cb_insn)

kernel/bpf/verifier.c

2843

struct bpf_subprog_info *subprog = env->subprog_info;

kernel/bpf/verifier.c

2905

struct bpf_subprog_info *si = env->subprog_info;

kernel/bpf/verifier.c

3416

struct bpf_subprog_info *subprog = &env->subprog_info[state->subprogno];

kernel/bpf/verifier.c

4038

struct bpf_subprog_info *subprog = &env->subprog_info[state->subprogno];

kernel/bpf/verifier.c

4077

struct bpf_subprog_info *subprog = &env->subprog_info[state->subprogno];

kernel/bpf/verifier.c

438

struct bpf_subprog_info *info = subprog_info(env, subprog);

kernel/bpf/verifier.c

447

return subprog_info(env, subprog)->is_exception_cb;

kernel/bpf/verifier.c

5080

struct bpf_subprog_info *subprog = env->subprog_info;

kernel/bpf/verifier.c

5277

struct bpf_subprog_info *si = env->subprog_info;

kernel/bpf/verifier.c

9134

struct bpf_subprog_info *sub = subprog_info(env, subprog);

kernel/bpf/verifier.c

9293

env->subprog_info[subprog].is_cb = true;

kernel/bpf/verifier.c

9310

env->subprog_info[subprog].is_async_cb = true;

kernel/bpf/verifier.c

9311

async_cb = push_async_cb(env, env->subprog_info[subprog].start,

kernel/bpf/verifier.c

9330

callback_state = push_stack(env, env->subprog_info[subprog].start, insn_idx, false);

kernel/bpf/verifier.c

9376

if (env->subprog_info[subprog].might_sleep && !in_sleepable_context(env)) {

kernel/bpf/verifier.c

9391

if (env->subprog_info[subprog].changes_pkt_data)

kernel/bpf/verifier.c

9404

if (env->subprog_info[subprog].might_throw) {

kernel/bpf/verifier.c

9423

caller_info = &env->subprog_info[caller->subprogno];

kernel/bpf/verifier.c

9424

callee_incoming = bpf_in_stack_arg_cnt(&env->subprog_info[subprog]);

kernel/bpf/verifier.c

9439

*insn_idx = env->subprog_info[subprog].start - 1;