Hi Dan, > Dan Carpenter <dan.carpenter@xxxxxxxxxx> 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 devel@xxxxxxxxxxxxxxxxxxxxxx http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel
