Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/kernel/bpf/
H A Dverifier.c617 if (reg->smax_value != reg->umax_value && in print_verifier_state()
624 if (reg->umax_value != U64_MAX) in print_verifier_state()
626 (unsigned long long)reg->umax_value); in print_verifier_state()
645 if (reg->u32_max_value != reg->umax_value && in print_verifier_state()
1020 reg->umax_value = imm; in ___mark_reg_known()
1106 reg->umax_value = U64_MAX; in __mark_reg_unbounded()
1119 reg->umax_value = U64_MAX; in __mark_reg64_unbounded()
1154 reg->umax_value = min(reg->umax_value, in __update_reg64_bounds()
1209 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1210 reg->umax_value); in __reg64_deduce_bounds()
[all …]
/OK3568_Linux_fs/kernel/include/linux/
H A Dbpf_verifier.h130 u64 umax_value; /* maximum possible (u64)value */ member
/OK3568_Linux_fs/kernel/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c560 meta->umax_src = max(meta->umax_src, sreg->umax_value); in nfp_bpf_check_alu()
562 meta->umax_dst = max(meta->umax_dst, dreg->umax_value); in nfp_bpf_check_alu()
/OK3568_Linux_fs/kernel/Documentation/networking/
H A Dfilter.rst1228 branch it will have a umax_value of 8. A signed compare (with BPF_JSGT or
1305 …R0=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R1=pkt_end R2=pkt(id=2,off=8,r=8) R3=pkt(id=2,off=…
1323 R4=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) which means that upper 56 bits
1326 R4=inv(id=0,umax_value=3570,var_off=(0x0; 0xfffe)), since multiplying an 8-bit
1329 R2=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff)), since the shift is not sign