[PATCH 04/14] lib: sbi_heap: add TSA annotations

Carlos López <[email protected]> Wed, 29 Jul 2026 18:35:31 +0200
Newsgroups org.infradead.lists.opensbi
Message-ID <[email protected]>
QWRkIFRocmVhZCBTYWZldHkgQW5hbHlzaXMgKFRTQSkgYW5ub3RhdGlvbnMgZm9yIHRoZSBoZWFw
IGFsbG9jYXRvci4KVGhpcyBpbmNsdWRlcyBpbmRpY2F0aW5nIHdoaWNoIGZpZWxkcyBhcmUgcHJv
dGVjdGVkIGJ5IGEgc3BpbmxvY2sgYW5kCmFubm90YXRpbmcgZnVuY3Rpb25zIHRoYXQgbXVzdCBi
ZSBjYWxsZWQgdW5kZXIgYSBzcGlubG9jay4gRXhjbHVkZQpzYmlfaGVhcF9pbml0X25ldygpLCBh
cyB0aGUgc3BpbmxvY2sgY2Fubm90IGJlIGFjcXVpcmVkIGJlZm9yZSBpdCBpcwppbml0aWFsaXpl
ZC4KClNpZ25lZC1vZmYtYnk6IENhcmxvcyBMw7NwZXogPGNhcmxvcy5sb3BlenI0MDk2QGdtYWls
LmNvbT4KLS0tCiBsaWIvc2JpL3NiaV9oZWFwLmMgfCAyNSArKysrKysrKysrKysrKy0tLS0tLS0t
LS0tCiAxIGZpbGUgY2hhbmdlZCwgMTQgaW5zZXJ0aW9ucygrKSwgMTEgZGVsZXRpb25zKC0pCgpk
aWZmIC0tZ2l0IGEvbGliL3NiaS9zYmlfaGVhcC5jIGIvbGliL3NiaS9zYmlfaGVhcC5jCmluZGV4
IDFkZTZkYzFlODdhOC4uY2RhMTI0YTRlZWJkIDEwMDY0NAotLS0gYS9saWIvc2JpL3NiaV9oZWFw
LmMKKysrIGIvbGliL3NiaS9zYmlfaGVhcC5jCkBAIC0yOCwxOCArMjgsMTggQEAgc3RydWN0IGhl
YXBfbm9kZSB7CiAKIHN0cnVjdCBzYmlfaGVhcF9jb250cm9sIHsKIAlzcGlubG9ja190IGxvY2s7
Ci0JdW5zaWduZWQgbG9uZyBiYXNlOwotCXVuc2lnbmVkIGxvbmcgc2l6ZTsKLQl1bnNpZ25lZCBs
b25nIHJlc3Y7Ci0Jc3RydWN0IHNiaV9kbGlzdCBmcmVlX25vZGVfbGlzdDsKLQlzdHJ1Y3Qgc2Jp
X2RsaXN0IGZyZWVfc3BhY2VfbGlzdDsKLQlzdHJ1Y3Qgc2JpX2RsaXN0IHVzZWRfc3BhY2VfbGlz
dDsKLQlzdHJ1Y3QgaGVhcF9ub2RlIGluaXRfZnJlZV9zcGFjZV9ub2RlOworCXVuc2lnbmVkIGxv
bmcgYmFzZSBHVUFSREVEX0JZKCZsb2NrKTsKKwl1bnNpZ25lZCBsb25nIHNpemUgR1VBUkRFRF9C
WSgmbG9jayk7CisJdW5zaWduZWQgbG9uZyByZXN2IEdVQVJERURfQlkoJmxvY2spOworCXN0cnVj
dCBzYmlfZGxpc3QgZnJlZV9ub2RlX2xpc3QgR1VBUkRFRF9CWSgmbG9jayk7CisJc3RydWN0IHNi
aV9kbGlzdCBmcmVlX3NwYWNlX2xpc3QgR1VBUkRFRF9CWSgmbG9jayk7CisJc3RydWN0IHNiaV9k
bGlzdCB1c2VkX3NwYWNlX2xpc3QgR1VBUkRFRF9CWSgmbG9jayk7CisJc3RydWN0IGhlYXBfbm9k
ZSBpbml0X2ZyZWVfc3BhY2Vfbm9kZSBHVUFSREVEX0JZKCZsb2NrKTsKIH07CiAKIHN0cnVjdCBz
YmlfaGVhcF9jb250cm9sIGdsb2JhbF9ocGN0cmw7CiAKLXN0YXRpYyBib29sIGFsbG9jX25vZGVz
KHN0cnVjdCBzYmlfaGVhcF9jb250cm9sICpocGN0cmwpCitzdGF0aWMgYm9vbCBhbGxvY19ub2Rl
cyhzdHJ1Y3Qgc2JpX2hlYXBfY29udHJvbCAqaHBjdHJsKSBNVVNUX0hPTEQoJmhwY3RybC0+bG9j
aykKIHsKIAlzaXplX3Qgc2l6ZSA9IEhFQVBfTk9ERV9CQVRDSF9TSVpFICogc2l6ZW9mKHN0cnVj
dCBoZWFwX25vZGUpOwogCXN0cnVjdCBoZWFwX25vZGUgKm4sICpuZXcgPSBOVUxMOwpAQCAtNjks
OCArNjksOSBAQCBzdGF0aWMgYm9vbCBhbGxvY19ub2RlcyhzdHJ1Y3Qgc2JpX2hlYXBfY29udHJv
bCAqaHBjdHJsKQogCXJldHVybiB0cnVlOwogfQogCi1zdGF0aWMgdm9pZCAqYWxsb2Nfd2l0aF9h
bGlnbihzdHJ1Y3Qgc2JpX2hlYXBfY29udHJvbCAqaHBjdHJsLAotCQkJICAgICAgc2l6ZV90IGFs
aWduLCBzaXplX3Qgc2l6ZSkKK3N0YXRpYyB2b2lkICphbGxvY193aXRoX2FsaWduKHN0cnVjdCBz
YmlfaGVhcF9jb250cm9sICpocGN0cmwsIHNpemVfdCBhbGlnbiwKKwkJCSAgICAgIHNpemVfdCBz
aXplKQorCU1VU1RfTk9UX0hPTEQoJmhwY3RybC0+bG9jaykKIHsKIAl2b2lkICpyZXQgPSBOVUxM
OwogCXN0cnVjdCBoZWFwX25vZGUgKm4sICpucDsKQEAgLTIzMCwxNyArMjMxLDE5IEBAIHVuc2ln
bmVkIGxvbmcgc2JpX2hlYXBfZnJlZV9zcGFjZV9mcm9tKHN0cnVjdCBzYmlfaGVhcF9jb250cm9s
ICpocGN0cmwpCiB9CiAKIHVuc2lnbmVkIGxvbmcgc2JpX2hlYXBfdXNlZF9zcGFjZV9mcm9tKHN0
cnVjdCBzYmlfaGVhcF9jb250cm9sICpocGN0cmwpCisJTk9fVEhSRUFEX1NBRkVUWV9BTkFMWVNJ
UwogewogCXJldHVybiBocGN0cmwtPnNpemUgLSBocGN0cmwtPnJlc3YgLSBzYmlfaGVhcF9mcmVl
X3NwYWNlKCk7CiB9CiAKIHVuc2lnbmVkIGxvbmcgc2JpX2hlYXBfcmVzZXJ2ZWRfc3BhY2VfZnJv
bShzdHJ1Y3Qgc2JpX2hlYXBfY29udHJvbCAqaHBjdHJsKQorCU5PX1RIUkVBRF9TQUZFVFlfQU5B
TFlTSVMKIHsKIAlyZXR1cm4gaHBjdHJsLT5yZXN2OwogfQogCiBpbnQgc2JpX2hlYXBfaW5pdF9u
ZXcoc3RydWN0IHNiaV9oZWFwX2NvbnRyb2wgKmhwY3RybCwgdW5zaWduZWQgbG9uZyBiYXNlLAot
CQkgICAgICAgdW5zaWduZWQgbG9uZyBzaXplKQorCQkgICAgICB1bnNpZ25lZCBsb25nIHNpemUp
IE5PX1RIUkVBRF9TQUZFVFlfQU5BTFlTSVMKIHsKIAlzdHJ1Y3QgaGVhcF9ub2RlICpuOwogCi0t
IAoyLjUxLjAKCgotLSAKb3BlbnNiaSBtYWlsaW5nIGxpc3QKb3BlbnNiaUBsaXN0cy5pbmZyYWRl
YWQub3JnCmh0dHA6Ly9saXN0cy5pbmZyYWRlYWQub3JnL21haWxtYW4vbGlzdGluZm8vb3BlbnNi
aQo=