[PATCH 02/14] lib: sbi_locks: annotate spinlock APIs for TSA

Carlos López <[email protected]> Wed, 29 Jul 2026 18:35:29 +0200
Newsgroups org.infradead.lists.opensbi
Message-ID <[email protected]>
QWRkIFRocmVhZCBTYWZldHkgQW5hbHlzaXMgKFRTQSkgYW5ub3RhdGlvbnMgZm9yIHNwaW5sb2Nr
IEFQSXMsIGFsbG93aW5nCnRoZSBjb21waWxlciB0byByZWFzb24gYWJvdXQgbG9jayBhY3F1aXNp
dGlvbiBhbmQgcmVsZWFzZS4KCkFubm90YXRpb25zIGhhdmUgYSBkaWZmZXJlbnQgbWVhbmluZyBp
ZiB1c2VkIGluIGhlYWRlciBkZWNsYXJhdGlvbnMgdnMgQwpmaWxlIGltcGxlbWVudGF0aW9ucy4g
SW4gaGVhZGVyIGRlY2xhcmF0aW9ucywgdGhleSBzcGVjaWZ5IHRoZSBzZW1hbnRpY3MKb2YgdGhl
IGdpdmVuIGZ1bmN0aW9uLCBtZWFuaW5nIHRoYXQgd2UgbXVzdCBzcGVjaWZ5IHRoYXQgdGhlIHNw
aW5sb2NrCmZ1bmN0aW9ucyBhY3F1aXJlIGFuZCByZWxlYXNlIGEgbG9jayAoImNhcGFiaWxpdHki
IGluIGNsYW5nIHRlcm1zKS4KSW4gZnVuY3Rpb24gaW1wbGVtZW50YXRpb25zLCBhdHRyaWJ1dGVz
IGFmZmVjdCB0aGUgZnVuY3Rpb24gYm9keSBhbmQKY2FsbGVycyBpbiB0aGUgc2FtZSB0cmFuc2xh
dGlvbiB1bml0OyBzaW5jZSB0aGUgc3BpbmxvY2sgZnVuY3Rpb25zCmNvbnRhaW4gaW5saW5lIGFz
c2VtYmx5LCB0aGV5IG11c3QgYmUgZXhjbHVkZWQgZnJvbSBhbmFseXNpcy4KClNpZ25lZC1vZmYt
Ynk6IENhcmxvcyBMw7NwZXogPGNhcmxvcy5sb3BlenI0MDk2QGdtYWlsLmNvbT4KLS0tCiBpbmNs
dWRlL3NiaS9yaXNjdl9sb2Nrcy5oIHwgOCArKysrLS0tLQogbGliL3NiaS9yaXNjdl9sb2Nrcy5j
ICAgICB8IDQgKystLQogMiBmaWxlcyBjaGFuZ2VkLCA2IGluc2VydGlvbnMoKyksIDYgZGVsZXRp
b25zKC0pCgpkaWZmIC0tZ2l0IGEvaW5jbHVkZS9zYmkvcmlzY3ZfbG9ja3MuaCBiL2luY2x1ZGUv
c2JpL3Jpc2N2X2xvY2tzLmgKaW5kZXggMzhkOWNiZWI3YjJhLi5hMGEzNGMwNDk3NTAgMTAwNjQ0
Ci0tLSBhL2luY2x1ZGUvc2JpL3Jpc2N2X2xvY2tzLmgKKysrIGIvaW5jbHVkZS9zYmkvcmlzY3Zf
bG9ja3MuaApAQCAtMjAsNyArMjAsNyBAQCB0eXBlZGVmIHN0cnVjdCB7CiAgICAgICAgdTE2IG93
bmVyOwogICAgICAgIHUxNiBuZXh0OwogI2VuZGlmCi19IF9fYWxpZ25lZCg0KSBzcGlubG9ja190
OworfSBfX2FsaWduZWQoNCkgQ0FQQUJJTElUWSgic3BpbmxvY2siKSBzcGlubG9ja190OwogCiAj
ZGVmaW5lIF9fU1BJTl9MT0NLX1VOTE9DS0VECVwKIAkoc3BpbmxvY2tfdCkgeyAwLCAwIH0KQEAg
LTM2LDEwICszNiwxMCBAQCB0eXBlZGVmIHN0cnVjdCB7CiAKIGJvb2wgc3Bpbl9sb2NrX2NoZWNr
KHNwaW5sb2NrX3QgKmxvY2spOwogCi1ib29sIHNwaW5fdHJ5bG9jayhzcGlubG9ja190ICpsb2Nr
KTsKK2Jvb2wgc3Bpbl90cnlsb2NrKHNwaW5sb2NrX3QgKmxvY2spIFRSWV9BQ1FVSVJFKHRydWUs
ICpsb2NrKTsKIAotdm9pZCBzcGluX2xvY2soc3BpbmxvY2tfdCAqbG9jayk7Cit2b2lkIHNwaW5f
bG9jayhzcGlubG9ja190ICpsb2NrKSBBQ1FVSVJFKCpsb2NrKSBNVVNUX05PVF9IT0xEKCpsb2Nr
KTsKIAotdm9pZCBzcGluX3VubG9jayhzcGlubG9ja190ICpsb2NrKTsKK3ZvaWQgc3Bpbl91bmxv
Y2soc3BpbmxvY2tfdCAqbG9jaykgUkVMRUFTRSgqbG9jayk7CiAKICNlbmRpZgpkaWZmIC0tZ2l0
IGEvbGliL3NiaS9yaXNjdl9sb2Nrcy5jIGIvbGliL3NiaS9yaXNjdl9sb2Nrcy5jCmluZGV4IGUy
NTNiMWI3MjNhYi4uZmE2MjRhOTRiZTgxIDEwMDY0NAotLS0gYS9saWIvc2JpL3Jpc2N2X2xvY2tz
LmMKKysrIGIvbGliL3NiaS9yaXNjdl9sb2Nrcy5jCkBAIC00NSw3ICs0NSw3IEBAIGJvb2wgc3Bp
bl90cnlsb2NrKHNwaW5sb2NrX3QgKmxvY2spCiAJcmV0dXJuIGwwID09IDA7CiB9CiAKLXZvaWQg
c3Bpbl9sb2NrKHNwaW5sb2NrX3QgKmxvY2spCit2b2lkIHNwaW5fbG9jayhzcGlubG9ja190ICps
b2NrKSBOT19USFJFQURfU0FGRVRZX0FOQUxZU0lTCiB7CiAJdW5zaWduZWQgbG9uZyBpbmMgPSAx
dSA8PCBUSUNLRVRfU0hJRlQ7CiAJdW5zaWduZWQgbG9uZyBtYXNrID0gMHhmZmZmdTsKQEAgLTg0
LDcgKzg0LDcgQEAgdm9pZCBzcGluX2xvY2soc3BpbmxvY2tfdCAqbG9jaykKIAkJOiAibWVtb3J5
Iik7CiB9CiAKLXZvaWQgc3Bpbl91bmxvY2soc3BpbmxvY2tfdCAqbG9jaykKK3ZvaWQgc3Bpbl91
bmxvY2soc3BpbmxvY2tfdCAqbG9jaykgTk9fVEhSRUFEX1NBRkVUWV9BTkFMWVNJUwogewogCV9f
c21wX3N0b3JlX3JlbGVhc2UoJmxvY2stPm93bmVyLCBsb2NrLT5vd25lciArIDEpOwogfQotLSAK
Mi41MS4wCgoKLS0gCm9wZW5zYmkgbWFpbGluZyBsaXN0Cm9wZW5zYmlAbGlzdHMuaW5mcmFkZWFk
Lm9yZwpodHRwOi8vbGlzdHMuaW5mcmFkZWFkLm9yZy9tYWlsbWFuL2xpc3RpbmZvL29wZW5zYmkK