1Driver_FLASH0
2SystemInit
3bl1_aes_256_ctr_decrypt
4bl1_derive_key
5bl1_otp_read_key
6bl1_sha256_compute
7bl1_sha256_finish
8bl1_sha256_init
9bl1_sha256_update
10bl1_trng_generate_random
11computed_bl1_2_hash
12pq_crypto_verify
13stdio_init
14stdio_output_string
15stdio_uninit
16tfm_plat_init_nv_counter
17tfm_plat_otp_read
18tfm_plat_read_nv_counter
19tfm_plat_set_nv_counter
20__ubsan_*
21log_error
22log_error_permissions_check
23