539 static int check_stack_write(struct verifier_state *state, int off, int size,  in check_stack_write()  argument
551 		if (size != 8) {  in check_stack_write()
569 		for (i = 0; i < size; i++) {  in check_stack_write()
579 static int check_stack_read(struct verifier_state *state, int off, int size,  in check_stack_read()  argument
588 		if (size != 8) {  in check_stack_read()
605 		for (i = 0; i < size; i++) {  in check_stack_read()
609 					off, i, size);  in check_stack_read()
622 			    int size)  in check_map_access()  argument
626 	if (off < 0 || off + size > map->value_size) {  in check_map_access()
628 			map->value_size, off, size);  in check_map_access()
635 static int check_ctx_access(struct verifier_env *env, int off, int size,  in check_ctx_access()  argument
639 	    env->prog->aux->ops->is_valid_access(off, size, t))  in check_ctx_access()
642 	verbose("invalid bpf_context access off=%d size=%d\n", off, size);  in check_ctx_access()
657 	int size, err = 0;  in check_mem_access()  local
659 	size = bpf_size_to_bytes(bpf_size);  in check_mem_access()
660 	if (size < 0)  in check_mem_access()
661 		return size;  in check_mem_access()
663 	if (off % size != 0) {  in check_mem_access()
664 		verbose("misaligned access off %d size %d\n", off, size);  in check_mem_access()
669 		err = check_map_access(env, regno, off, size);  in check_mem_access()
674 		err = check_ctx_access(env, off, size, t);  in check_mem_access()
680 			verbose("invalid stack off=%d size=%d\n", off, size);  in check_mem_access()
684 			err = check_stack_write(state, off, size, value_regno);  in check_mem_access()
686 			err = check_stack_read(state, off, size, value_regno);  in check_mem_access()
1031 			int size = BPF_CLASS(insn->code) == BPF_ALU64 ? 64 : 32;  in check_alu_op()  local
1033 			if (insn->imm < 0 || insn->imm >= size) {  in check_alu_op()