[PATCH 12/14] lib: sbi_sse: add TSA annotations

Carlos López <[email protected]> Wed, 29 Jul 2026 18:35:39 +0200
Newsgroups org.infradead.lists.opensbi
Message-ID <[email protected]>
Tm93IHRoYXQgdGhlIGxvY2sgcmVsYXRpb25zaGlwIGJldHdlZW4gYW4gZXZlbnQgYW5kIGl0cyBv
d25lciBoYXJ0IGlzCmV4cGxpY2l0LCBhZGQgVFNBIGFubm90YXRpb25zIGZvciB0aGUgU1NFIGhh
bmRsaW5nIGNvZGUuIFRoaXMgaW5jbHVkZXMKaW5kaWNhdGluZyB3aGljaCBmaWVsZHMgYXJlIHBy
b3RlY3RlZCBieSBhIHNwaW5sb2NrLCBhcyB3ZWxsIGFzCmFubm90YXRpbmcgd2hpY2ggZnVuY3Rp
b25zIG5lZWQgdG8gcnVuIHVuZGVyIGEgc3BpbmxvY2suCgpFeGNsdWRlIHNzZV9sb2NhbF9pbml0
KCksIHdoaWNoIGluaXRpYWxpemVzIHRoZSBzcGlubG9jayB0byBiZSBhY3F1aXJlZCwKYW5kIHNz
ZV9ldmVudF9nZXQoKSAvIHNzZV9ldmVudF9wdXQoKSwgd2hpY2ggcGVyZm9ybSBjb25kaXRpb25h
bCBsb2NraW5nCnRoYXQgVFNBIGlzIG5vdCBhYmxlIHRvIGZvbGxvdyBwcm9wZXJseS4KClNpZ25l
ZC1vZmYtYnk6IENhcmxvcyBMw7NwZXogPGNhcmxvcy5sb3BlenI0MDk2QGdtYWlsLmNvbT4KLS0t
CiBsaWIvc2JpL3NiaV9zc2UuYyB8IDMyICsrKysrKysrKysrKysrKysrKystLS0tLS0tLS0tLS0t
CiAxIGZpbGUgY2hhbmdlZCwgMTkgaW5zZXJ0aW9ucygrKSwgMTMgZGVsZXRpb25zKC0pCgpkaWZm
IC0tZ2l0IGEvbGliL3NiaS9zYmlfc3NlLmMgYi9saWIvc2JpL3NiaV9zc2UuYwppbmRleCA5YjYz
MDQzMDE3M2MuLjdiNGQ2NGI3Y2M2MyAxMDA2NDQKLS0tIGEvbGliL3NiaS9zYmlfc3NlLmMKKysr
IGIvbGliL3NiaS9zYmlfc3NlLmMKQEAgLTEwOCw2ICsxMDgsMTEgQEAgc3RydWN0IHNiaV9zc2Vf
ZXZlbnQgewogCiAvKiogUGVyLWhhcnQgc3RhdGUgKi8KIHN0cnVjdCBzc2VfaGFydF9zdGF0ZSB7
CisJLyoqCisJICogTG9jayB0aGF0IHByb3RlY3RzIGVuYWJsZWRfZXZlbnRfbGlzdAorCSAqLwor
CXNwaW5sb2NrX3QgZW5hYmxlZF9ldmVudF9sb2NrOworCiAJLyogUHJpb3JpdHkgc29ydGVkIGxp
c3Qgb2YgZW5hYmxlZCBldmVudHMgKGdsb2JhbCBhbmQgbG9jYWwgaW4gPj0KIAkgKiBFTkFCTEVE
IHN0YXRlKS4gVGhpcyBsaXN0IGlzIHByb3RlY3RlZCBieSB0aGUgZW5hYmxlZF9ldmVudF9sb2Nr
LgogCSAqCkBAIC0xMjQsMTIgKzEyOSw3IEBAIHN0cnVjdCBzc2VfaGFydF9zdGF0ZSB7CiAJICog
dGhpcyBlbmFibGVkX2V2ZW50X2xpc3QgYW5kIHRodXMgY2FuIG9ubHkgYmUgcmVtb3ZlZCBmcm9t
IHRoaXMKIAkgKiBsaXN0IHVwb24gZGlzYWJsZSBlY2FsbCBvciBvbiBjb21wbGV0ZSB3aXRoIE9O
RVNIT1QgZmxhZy4KIAkgKi8KLQlzdHJ1Y3Qgc2JpX2RsaXN0IGVuYWJsZWRfZXZlbnRfbGlzdDsK
LQotCS8qKgotCSAqIExvY2sgdGhhdCBwcm90ZWN0cyBlbmFibGVkX2V2ZW50X2xpc3QKLQkgKi8K
LQlzcGlubG9ja190IGVuYWJsZWRfZXZlbnRfbG9jazsKKwlzdHJ1Y3Qgc2JpX2RsaXN0IGVuYWJs
ZWRfZXZlbnRfbGlzdCBHVUFSREVEX0JZKCZlbmFibGVkX2V2ZW50X2xvY2spOwogCiAJLyoqCiAJ
ICogTGlzdCBvZiBsb2NhbCBldmVudHMgYWxsb2NhdGVkIGF0IGJvb3QgdGltZS4KQEAgLTE0Nywx
NiArMTQ3LDE2IEBAIHN0cnVjdCBzc2VfaGFydF9zdGF0ZSB7CiAgKiBHbG9iYWwgZXZlbnRzIGFy
ZSBhY2Nlc3NpYmxlIGJ5IGFsbCBoYXJ0cwogICovCiBzdHJ1Y3Qgc3NlX2dsb2JhbF9ldmVudCB7
Ci0JLyoqCi0JICogZ2xvYmFsIGV2ZW50IHN0cnVjdAotCSAqLwotCXN0cnVjdCBzYmlfc3NlX2V2
ZW50IGV2ZW50OwotCiAJLyoqCiAJICogR2xvYmFsIGV2ZW50IGxvY2sgcHJvdGVjdGluZyBhY2Nl
c3MgZnJvbSBtdWx0aXBsZSBoYXJ0cyBmcm9tIGVjYWxsIHRvCiAJICogdGhlIGV2ZW50LgogCSAq
LwogCXNwaW5sb2NrX3QgbG9jazsKKworCS8qKgorCSAqIGdsb2JhbCBldmVudCBzdHJ1Y3QKKwkg
Ki8KKwlzdHJ1Y3Qgc2JpX3NzZV9ldmVudCBldmVudCBHVUFSREVEX0JZKCZsb2NrKTsKIH07CiAK
IHN0cnVjdCBzc2VfZXZlbnRfaW5mbyB7CkBAIC0yNzIsNyArMjcyLDggQEAgc3RhdGljIHZvaWQg
c3NlX2V2ZW50X3NldF9zdGF0ZShzdHJ1Y3Qgc2JpX3NzZV9ldmVudCAqZSwKIAllLT5hdHRycy5z
dGF0dXMgfD0gbmV3X3N0YXRlOwogfQogCi1zdGF0aWMgaW50IHNzZV9ldmVudF9nZXQodWludDMy
X3QgZXZlbnRfaWQsIHN0cnVjdCBzYmlfc3NlX2V2ZW50ICoqZXJldCkKK3N0YXRpYyBpbnQgc3Nl
X2V2ZW50X2dldCh1aW50MzJfdCBldmVudF9pZCwKKwkJCSBzdHJ1Y3Qgc2JpX3NzZV9ldmVudCAq
KmVyZXQpIE5PX1RIUkVBRF9TQUZFVFlfQU5BTFlTSVMKIHsKIAl1bnNpZ25lZCBpbnQgaTsKIAlz
dHJ1Y3Qgc2JpX3NzZV9ldmVudCAqZTsKQEAgLTMwOSw3ICszMTAsNyBAQCBzdGF0aWMgaW50IHNz
ZV9ldmVudF9nZXQodWludDMyX3QgZXZlbnRfaWQsIHN0cnVjdCBzYmlfc3NlX2V2ZW50ICoqZXJl
dCkKIAlyZXR1cm4gU0JJX0VJTlZBTDsKIH0KIAotc3RhdGljIHZvaWQgc3NlX2V2ZW50X3B1dChz
dHJ1Y3Qgc2JpX3NzZV9ldmVudCAqZSkKK3N0YXRpYyB2b2lkIHNzZV9ldmVudF9wdXQoc3RydWN0
IHNiaV9zc2VfZXZlbnQgKmUpIE5PX1RIUkVBRF9TQUZFVFlfQU5BTFlTSVMKIHsKIAlzdHJ1Y3Qg
c3NlX2dsb2JhbF9ldmVudCAqZ2U7CiAKQEAgLTMzMCw2ICszMzEsNyBAQCBzdGF0aWMgdm9pZCBz
c2VfZXZlbnRfcmVtb3ZlX2Zyb21fbGlzdChzdHJ1Y3Qgc2JpX3NzZV9ldmVudCAqZSkKICAqLwog
c3RhdGljIHZvaWQgc3NlX2V2ZW50X2FkZF90b19saXN0KHN0cnVjdCBzc2VfaGFydF9zdGF0ZSAq
c3RhdGUsCiAJCQkJICAgc3RydWN0IHNiaV9zc2VfZXZlbnQgKmUpCisJTVVTVF9IT0xEKCZzdGF0
ZS0+ZW5hYmxlZF9ldmVudF9sb2NrKQogewogCXN0cnVjdCBzYmlfc3NlX2V2ZW50ICp0bXA7CiAK
QEAgLTM0OCw2ICszNTAsNyBAQCBzdGF0aWMgdm9pZCBzc2VfZXZlbnRfYWRkX3RvX2xpc3Qoc3Ry
dWN0IHNzZV9oYXJ0X3N0YXRlICpzdGF0ZSwKICAqLwogc3RhdGljIGludCBzc2VfZXZlbnRfZGlz
YWJsZShzdHJ1Y3Qgc3NlX2hhcnRfc3RhdGUgKnNocywKIAkJCSAgICAgIHN0cnVjdCBzYmlfc3Nl
X2V2ZW50ICplKQorCU1VU1RfSE9MRCgmc2hzLT5lbmFibGVkX2V2ZW50X2xvY2spCiB7CiAJaWYg
KHNzZV9ldmVudF9zdGF0ZShlKSAhPSBTQklfU1NFX1NUQVRFX0VOQUJMRUQpCiAJCXJldHVybiBT
QklfRUlOVkFMSURfU1RBVEU7CkBAIC03ODYsNiArNzg5LDcgQEAgc3RhdGljIGludCBzc2VfaW5q
ZWN0X2V2ZW50KHVpbnQzMl90IGV2ZW50X2lkLCB1bnNpZ25lZCBsb25nIGhhcnRpZCkKICAqLwog
c3RhdGljIGludCBzc2VfZXZlbnRfZW5hYmxlKHN0cnVjdCBzc2VfaGFydF9zdGF0ZSAqc2hzLAog
CQkJICAgICBzdHJ1Y3Qgc2JpX3NzZV9ldmVudCAqZSkKKwlNVVNUX0hPTEQoJnNocy0+ZW5hYmxl
ZF9ldmVudF9sb2NrKQogewogCWlmIChzc2VfZXZlbnRfc3RhdGUoZSkgIT0gU0JJX1NTRV9TVEFU
RV9SRUdJU1RFUkVEKQogCQlyZXR1cm4gU0JJX0VJTlZBTElEX1NUQVRFOwpAQCAtODA2LDYgKzgx
MCw3IEBAIHN0YXRpYyBpbnQgc3NlX2V2ZW50X2NvbXBsZXRlKHN0cnVjdCBzc2VfaGFydF9zdGF0
ZSAqc2hzLAogCQkJICAgICAgc3RydWN0IHNiaV9zc2VfZXZlbnQgKmUsCiAJCQkgICAgICBzdHJ1
Y3Qgc2JpX3RyYXBfcmVncyAqcmVncywKIAkJCSAgICAgIHN0cnVjdCBzYmlfZWNhbGxfcmV0dXJu
ICpvdXQpCisJTVVTVF9IT0xEKCZzaHMtPmVuYWJsZWRfZXZlbnRfbG9jaykKIHsKIAlpZiAoc3Nl
X2V2ZW50X3N0YXRlKGUpICE9IFNCSV9TU0VfU1RBVEVfUlVOTklORykKIAkJcmV0dXJuIFNCSV9F
SU5WQUxJRF9TVEFURTsKQEAgLTExODAsNiArMTE4NSw3IEBAIHN0YXRpYyBpbnQgc3NlX2dsb2Jh
bF9pbml0KCkKIH0KIAogc3RhdGljIHZvaWQgc3NlX2xvY2FsX2luaXQoc3RydWN0IHNzZV9oYXJ0
X3N0YXRlICpzaHMpCisJTk9fVEhSRUFEX1NBRkVUWV9BTkFMWVNJUwogewogCXVuc2lnbmVkIGlu
dCBldiA9IDA7CiAJc3RydWN0IHNzZV9ldmVudF9pbmZvICppbmZvOwotLSAKMi41MS4wCgoKLS0g
Cm9wZW5zYmkgbWFpbGluZyBsaXN0Cm9wZW5zYmlAbGlzdHMuaW5mcmFkZWFkLm9yZwpodHRwOi8v
bGlzdHMuaW5mcmFkZWFkLm9yZy9tYWlsbWFuL2xpc3RpbmZvL29wZW5zYmkK