[PATCH 09/14] lib: sbi_domain: add TSA annotations

Carlos López <[email protected]> Wed, 29 Jul 2026 18:35:36 +0200
Newsgroups org.infradead.lists.opensbi
Message-ID <[email protected]>
QWRkIFRocmVhZCBTYWZldHkgQW5hbHlzaXMgKFRTQSkgYW5ub3RhdGlvbnMgZm9yIHRoZSBkb21h
aW4gaGFuZGxpbmcKY29kZS4gVGhpcyBpbmNsdWRlcyBpbmRpY2F0aW5nIHdoaWNoIGZpZWxkcyBh
cmUgcHJvdGVjdGVkIGJ5IGEgc3BpbmxvY2ssCmFuZCBhbm5vdGF0aW5nIHdoaWNoIGZ1bmN0aW9u
cyBhY3F1aXJlIGEgc3BpbmxvY2ssIGluIG9yZGVyIHRvIHByZXZlbnQKbmVzdGluZy4gRXhjbHVk
ZSBzYmlfZG9tYWluX3JlZ2lzdGVyKCkgZnJvbSBhbmFseXNpcywgYXMgaXQgaW5pdGlhbGl6ZXMK
YSBkb21haW4ncyBzcGlubG9jay4KClNpZ25lZC1vZmYtYnk6IENhcmxvcyBMw7NwZXogPGNhcmxv
cy5sb3BlenI0MDk2QGdtYWlsLmNvbT4KLS0tCiBpbmNsdWRlL3NiaS9zYmlfZG9tYWluLmggICAg
IHwgMTAgKysrKysrLS0tLQogbGliL3NiaS9zYmlfZG9tYWluLmMgICAgICAgICB8ICAzICsrKwog
bGliL3NiaS9zYmlfZG9tYWluX2NvbnRleHQuYyB8ICAyICsrCiAzIGZpbGVzIGNoYW5nZWQsIDEx
IGluc2VydGlvbnMoKyksIDQgZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvaW5jbHVkZS9zYmkv
c2JpX2RvbWFpbi5oIGIvaW5jbHVkZS9zYmkvc2JpX2RvbWFpbi5oCmluZGV4IDE2ZWRkNGNlNDQ5
My4uZDRhZDIyOTcyODRlIDEwMDY0NAotLS0gYS9pbmNsdWRlL3NiaS9zYmlfZG9tYWluLmgKKysr
IGIvaW5jbHVkZS9zYmkvc2JpX2RvbWFpbi5oCkBAIC0xOTMsMTAgKzE5MywxMCBAQCBzdHJ1Y3Qg
c2JpX2RvbWFpbiB7CiAJc3RydWN0IHNiaV9kb21haW5fZGF0YV9wcml2IGRhdGFfcHJpdjsKIAkv
KiogTG9naWNhbCBpbmRleCBvZiB0aGlzIGRvbWFpbiAqLwogCXUzMiBpbmRleDsKLQkvKiogSEFS
VHMgYXNzaWduZWQgdG8gdGhpcyBkb21haW4gKi8KLQlzdHJ1Y3Qgc2JpX2hhcnRtYXNrIGFzc2ln
bmVkX2hhcnRzOwogCS8qKiBTcGlubG9jayBmb3IgYWNjZXNzaW5nIGFzc2lnbmVkX2hhcnRzICov
CiAJc3BpbmxvY2tfdCBhc3NpZ25lZF9oYXJ0c19sb2NrOworCS8qKiBIQVJUcyBhc3NpZ25lZCB0
byB0aGlzIGRvbWFpbiAqLworCXN0cnVjdCBzYmlfaGFydG1hc2sgYXNzaWduZWRfaGFydHMgR1VB
UkRFRF9CWSgmYXNzaWduZWRfaGFydHNfbG9jayk7CiAJLyoqIE5hbWUgb2YgdGhpcyBkb21haW4g
Ki8KIAljaGFyIG5hbWVbNjRdOwogCS8qKiBQb3NzaWJsZSBIQVJUcyBpbiB0aGlzIGRvbWFpbiAq
LwpAQCAtMjUyLDcgKzI1Miw4IEBAIGV4dGVybiBzdHJ1Y3Qgc2JpX2RsaXN0IGRvbWFpbl9saXN0
OwogICogQHBhcmFtIGhhcnRpbmRleCB0aGUgSEFSVCBpbmRleAogICogQHJldHVybiB0cnVlIGlm
IEhBUlQgaXMgYXNzaWduZWQgdG8gZG9tYWluIG90aGVyd2lzZSBmYWxzZQogICovCi1ib29sIHNi
aV9kb21haW5faXNfYXNzaWduZWRfaGFydChjb25zdCBzdHJ1Y3Qgc2JpX2RvbWFpbiAqZG9tLCB1
MzIgaGFydGluZGV4KTsKK2Jvb2wgc2JpX2RvbWFpbl9pc19hc3NpZ25lZF9oYXJ0KGNvbnN0IHN0
cnVjdCBzYmlfZG9tYWluICpkb20sIHUzMiBoYXJ0aW5kZXgpCisJTVVTVF9OT1RfSE9MRCgmZG9t
LT5hc3NpZ25lZF9oYXJ0c19sb2NrKTsKIAogLyoqCiAgKiBHZXQgdGhlIGFzc2lnbmVkIEhBUlQg
bWFzayBmb3IgZ2l2ZW4gZG9tYWluCkBAIC0yNjEsNyArMjYyLDggQEAgYm9vbCBzYmlfZG9tYWlu
X2lzX2Fzc2lnbmVkX2hhcnQoY29uc3Qgc3RydWN0IHNiaV9kb21haW4gKmRvbSwgdTMyIGhhcnRp
bmRleCk7CiAgKiBAcmV0dXJuIDAgb24gc3VjY2VzcyBhbmQgU0JJX0V4eHggKDwgMCkgb24gZmFp
bHVyZQogICovCiBpbnQgc2JpX2RvbWFpbl9nZXRfYXNzaWduZWRfaGFydG1hc2soY29uc3Qgc3Ry
dWN0IHNiaV9kb21haW4gKmRvbSwKLQkJCQkgICAgIHN0cnVjdCBzYmlfaGFydG1hc2sgKm1hc2sp
OworCQkJCSAgICAgc3RydWN0IHNiaV9oYXJ0bWFzayAqbWFzaykKKwlNVVNUX05PVF9IT0xEKCZk
b20tPmFzc2lnbmVkX2hhcnRzX2xvY2spOwogCiAvKioKICAqIEluaXRpYWxpemUgYSBkb21haW4g
bWVtb3J5IHJlZ2lvbiBiYXNlZCBvbiBpdCdzIHBoeXNpY2FsCmRpZmYgLS1naXQgYS9saWIvc2Jp
L3NiaV9kb21haW4uYyBiL2xpYi9zYmkvc2JpX2RvbWFpbi5jCmluZGV4IGZhNjkxNzBiZGM5Mi4u
N2JkYjkxMmFjZjI1IDEwMDY0NAotLS0gYS9saWIvc2JpL3NiaV9kb21haW4uYworKysgYi9saWIv
c2JpL3NiaV9kb21haW4uYwpAQCAtNjAsNiArNjAsNyBAQCB2b2lkIHNiaV91cGRhdGVfaGFydGlu
ZGV4X3RvX2RvbWFpbih1MzIgaGFydGluZGV4LCBzdHJ1Y3Qgc2JpX2RvbWFpbiAqZG9tKQogfQog
CiBib29sIHNiaV9kb21haW5faXNfYXNzaWduZWRfaGFydChjb25zdCBzdHJ1Y3Qgc2JpX2RvbWFp
biAqZG9tLCB1MzIgaGFydGluZGV4KQorCU1VU1RfTk9UX0hPTEQoJmRvbS0+YXNzaWduZWRfaGFy
dHNfbG9jaykKIHsKIAlib29sIHJldDsKIAlzdHJ1Y3Qgc2JpX2RvbWFpbiAqdGRvbSA9IChzdHJ1
Y3Qgc2JpX2RvbWFpbiAqKWRvbTsKQEAgLTc2LDYgKzc3LDcgQEAgYm9vbCBzYmlfZG9tYWluX2lz
X2Fzc2lnbmVkX2hhcnQoY29uc3Qgc3RydWN0IHNiaV9kb21haW4gKmRvbSwgdTMyIGhhcnRpbmRl
eCkKIAogaW50IHNiaV9kb21haW5fZ2V0X2Fzc2lnbmVkX2hhcnRtYXNrKGNvbnN0IHN0cnVjdCBz
YmlfZG9tYWluICpkb20sCiAJCQkJICAgICBzdHJ1Y3Qgc2JpX2hhcnRtYXNrICptYXNrKQorCU1V
U1RfTk9UX0hPTEQoJmRvbS0+YXNzaWduZWRfaGFydHNfbG9jaykKIHsKIAl1bG9uZyByZXQgPSAw
OwogCXN0cnVjdCBzYmlfZG9tYWluICp0ZG9tID0gKHN0cnVjdCBzYmlfZG9tYWluICopZG9tOwpA
QCAtNjI3LDYgKzYyOSw3IEBAIHZvaWQgc2JpX2RvbWFpbl9kdW1wX2FsbChjb25zdCBjaGFyICpz
dWZmaXgpCiAKIGludCBzYmlfZG9tYWluX3JlZ2lzdGVyKHN0cnVjdCBzYmlfZG9tYWluICpkb20s
CiAJCQljb25zdCBzdHJ1Y3Qgc2JpX2hhcnRtYXNrICphc3NpZ25fbWFzaykKKwlOT19USFJFQURf
U0FGRVRZX0FOQUxZU0lTCiB7CiAJdTMyIGk7CiAJaW50IHJjOwpkaWZmIC0tZ2l0IGEvbGliL3Ni
aS9zYmlfZG9tYWluX2NvbnRleHQuYyBiL2xpYi9zYmkvc2JpX2RvbWFpbl9jb250ZXh0LmMKaW5k
ZXggY2M0Y2MwNGRkYjQ2Li4zMWYwMGU1YjBmNTYgMTAwNjQ0Ci0tLSBhL2xpYi9zYmkvc2JpX2Rv
bWFpbl9jb250ZXh0LmMKKysrIGIvbGliL3NiaS9zYmlfZG9tYWluX2NvbnRleHQuYwpAQCAtMTA3
LDYgKzEwNyw4IEBAIHN0YXRpYyB2b2lkIGhhcnRfY29udGV4dF9zZXQoc3RydWN0IHNiaV9kb21h
aW4gKmRvbSwgdTMyIGhhcnRpbmRleCwKICAqLwogc3RhdGljIGludCBzd2l0Y2hfdG9fbmV4dF9k
b21haW5fY29udGV4dChzdHJ1Y3QgaGFydF9jb250ZXh0ICpjdHgsCiAJCQkJCSAgc3RydWN0IGhh
cnRfY29udGV4dCAqZG9tX2N0eCkKKwlNVVNUX05PVF9IT0xEKCZjdHgtPmRvbS0+YXNzaWduZWRf
aGFydHNfbG9jaykKKwlNVVNUX05PVF9IT0xEKCZkb21fY3R4LT5kb20tPmFzc2lnbmVkX2hhcnRz
X2xvY2spCiB7CiAJdTMyIGhhcnRpbmRleCA9IGN1cnJlbnRfaGFydGluZGV4KCk7CiAJc3RydWN0
IHNiaV90cmFwX2NvbnRleHQgKnRyYXBfY3R4OwotLSAKMi41MS4wCgoKLS0gCm9wZW5zYmkgbWFp
bGluZyBsaXN0Cm9wZW5zYmlAbGlzdHMuaW5mcmFkZWFkLm9yZwpodHRwOi8vbGlzdHMuaW5mcmFk
ZWFkLm9yZy9tYWlsbWFuL2xpc3RpbmZvL29wZW5zYmkK