include/linux/bpf_verifier.h

259

#define SPIS_ZERO ((spis_t){})

include/linux/bpf_verifier.h

260

#define SPIS_ALL ((spis_t){{ U64_MAX, U64_MAX }})

include/linux/bpf_verifier.h

262

static inline bool spis_is_zero(spis_t s)

include/linux/bpf_verifier.h

267

static inline bool spis_equal(spis_t a, spis_t b)

include/linux/bpf_verifier.h

272

static inline spis_t spis_or(spis_t a, spis_t b)

include/linux/bpf_verifier.h

274

return (spis_t){{ a.v[0] | b.v[0], a.v[1] | b.v[1] }};

include/linux/bpf_verifier.h

277

static inline spis_t spis_and(spis_t a, spis_t b)

include/linux/bpf_verifier.h

279

return (spis_t){{ a.v[0] & b.v[0], a.v[1] & b.v[1] }};

include/linux/bpf_verifier.h

282

static inline spis_t spis_not(spis_t s)

include/linux/bpf_verifier.h

284

return (spis_t){{ ~s.v[0], ~s.v[1] }};

include/linux/bpf_verifier.h

287

static inline bool spis_test_bit(spis_t s, u32 slot)

include/linux/bpf_verifier.h

292

static inline void spis_or_range(spis_t *mask, u32 lo, u32 hi)

kernel/bpf/liveness.c

1246

spis_t mask;

kernel/bpf/liveness.c

14

spis_t may_read; /* stack slots that may be read by this instruction */

kernel/bpf/liveness.c

15

spis_t must_write; /* stack slots written by this instruction */

kernel/bpf/liveness.c

16

spis_t live_before; /* stack slots that may be read by this insn and its successors */

kernel/bpf/liveness.c

179

static int mark_stack_read(struct func_instance *instance, u32 frame, u32 insn_idx, spis_t mask)

kernel/bpf/liveness.c

190

static int mark_stack_write(struct func_instance *instance, u32 frame, u32 insn_idx, spis_t mask)

kernel/bpf/liveness.c

276

spis_t new_before, new_after;

kernel/bpf/liveness.c

434

static char *fmt_spis_mask(struct bpf_verifier_env *env, int frame, bool first, spis_t spis)