537 			     int value_regno)  in check_stack_write()  argument
544 	if (value_regno >= 0 &&  in check_stack_write()
545 	    (state->regs[value_regno].type == PTR_TO_MAP_VALUE ||  in check_stack_write()
546 	     state->regs[value_regno].type == PTR_TO_STACK ||  in check_stack_write()
547 	     state->regs[value_regno].type == PTR_TO_CTX)) {  in check_stack_write()
557 			state->regs[value_regno];  in check_stack_write()
573 			    int value_regno)  in check_stack_read()  argument
592 		if (value_regno >= 0)  in check_stack_read()
594 			state->regs[value_regno] =  in check_stack_read()
605 		if (value_regno >= 0)  in check_stack_read()
607 			mark_reg_unknown_value(state->regs, value_regno);  in check_stack_read()
646 			    int value_regno)  in check_mem_access()  argument
662 		if (!err && t == BPF_READ && value_regno >= 0)  in check_mem_access()
663 			mark_reg_unknown_value(state->regs, value_regno);  in check_mem_access()
667 		if (!err && t == BPF_READ && value_regno >= 0)  in check_mem_access()
668 			mark_reg_unknown_value(state->regs, value_regno);  in check_mem_access()
676 			err = check_stack_write(state, off, size, value_regno);  in check_mem_access()
678 			err = check_stack_read(state, off, size, value_regno);  in check_mem_access()