3691 	u64 val = 0;  in linked_regs_pack()  local
3710 static void linked_regs_unpack(u64 val, struct linked_regs *s)  in linked_regs_unpack()
6808 static int bpf_map_direct_read(struct bpf_map *map, int off, int size, u64 *val,  in bpf_map_direct_read()
6906 BTF_TYPE_SAFE_TRUSTED_OR_NULL(struct socket) {  in BTF_TYPE_SAFE_TRUSTED_OR_NULL()
7329 				u64 val = 0;  in check_mem_access()  local
8016 	u64 val = reg->var_off.value;  in process_spin_lock()  local
8098 	u64 val = reg->var_off.value;  in process_timer_func()  local
8134 	u64 val = reg->var_off.value;  in process_wq_func()  local
10722 	u64 val, max;  in record_func_key()  local
13522 	s64 val = reg->var_off.value;  in check_reg_sane_offset()  local
14880 		u64 val = reg_const_value(src_reg, false);  in adjust_reg_min_max_vals()  local
15430 		u64 val;  in is_branch_taken()  local
15495 	u64 val;  in regs_refine_cond_op()  local