kernel/bpf/verifier.c

276 	int access_size;
4759 		/* Any access_size read into register is zero extended,
4913 					 int regno, int off, int access_size,
6669 		int regno, int off, int access_size,
6689 		max_off = min_off + access_size;
6698 		max_off = reg->smax_value + off + access_size;
6704 	if (!err && access_size < 0)
6705 		/* access_size should not be negative (or overflow an int); others checks
6713 				err_extra, regno, off, access_size);
6719 				err_extra, regno, tn_buf, off, access_size);
7091 		int access_size, bool zero_size_allowed,
7104 	if (access_size == 0 && !zero_size_allowed) {
7119 	err = check_stack_access_within_bounds(env, regno, off, access_size,
7156 		 * by byte access in check_helper_call using meta.access_size.
7168 		for (i = min_off; i < max_off + access_size; i++) {
7180 		meta->access_size = access_size;
7185 	for (i = min_off; i < max_off + access_size; i++) {
7220 				err_extra, regno, min_off, i - min_off, access_size);
7226 				err_extra, regno, tn_buf, i - min_off, access_size);
7246 				   int access_size, bool zero_size_allowed,
7255 		return check_packet_access(env, regno, reg->off, access_size,
7263 		return check_mem_region_access(env, regno, reg->off, access_size,
7266 		if (check_map_access_type(env, regno, reg->off, access_size,
7270 		return check_map_access(env, regno, reg->off, access_size,
7281 					       access_size, reg->mem_size,
7296 					   access_size, zero_size_allowed,
7301 				regno, reg->off, access_size,
7305 					       access_size, BPF_READ, -1);
7314 			int offset = access_size - 1;
7317 			if (access_size == 0)
7327 		if (zero_size_allowed && access_size == 0 &&
10273 	for (i = 0; i < meta.access_size; i++) {