Hi Antonio, > this API is described in Documentation/locking/hwspinlock.rst > in chapter 'API for implementors'. > > Changing the API parameters should require updating the documentation too.
I totally agree. I missed that. > Since this API is changed again in 10/15, it's probably fine to update the > documentation only once in the last 15/15. Well, the changes are little, so I will change the documentation whenever the API itself gets modified. Thanks for the heads up! Wolfram
