Home
last modified time | relevance | path

Searched refs:known_reg (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c16909 struct bpf_reg_state *known_reg, struct linked_regs *linked_regs) in sync_linked_regs() argument
16920 if (reg->type != SCALAR_VALUE || reg == known_reg) in sync_linked_regs()
16922 if ((reg->id & ~BPF_ADD_CONST) != (known_reg->id & ~BPF_ADD_CONST)) in sync_linked_regs()
16928 if (((reg->id ^ known_reg->id) & BPF_ADD_CONST) == BPF_ADD_CONST) in sync_linked_regs()
16930 if ((!(reg->id & BPF_ADD_CONST) && !(known_reg->id & BPF_ADD_CONST)) || in sync_linked_regs()
16931 reg->delta == known_reg->delta) { in sync_linked_regs()
16932 *reg = *known_reg; in sync_linked_regs()
16938 __mark_reg_known(&fake_reg, (s64)reg->delta - (s64)known_reg->delta); in sync_linked_regs()
16941 *reg = *known_reg; in sync_linked_regs()
16952 if ((reg->id | known_reg->id) & BPF_ADD_CONST32) in sync_linked_regs()