[bug report] staging: vchiq_core: Bail out in case of invalid tx_pos

[Stefan Wahren]

Hi Dan,

> Dan Carpenter <dan.carpenter at oracle.com> hat am 22. März 2018 um 13:28 geschrieben:
> 
> 
> Hello Stefan Wahren,
> 
> The patch d1eab9dec610: "staging: vchiq_core: Bail out in case of
> invalid tx_pos" from May 26, 2017, leads to the following static
> checker warning:
> 
> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c:617 reserve_space()
> warn: inconsistent returns 'state->slot_available_event'.
>   Locked on  : 605
>   Unlocked on: 600

thanks for your report. Currently i'm preparing a series for vchiq, so i will add the fix to it.

Stefan