Hi Dan,

> Dan Carpenter <dan.carpen...@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
_______________________________________________
devel mailing list
de...@linuxdriverproject.org
http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel

Reply via email to