Driver_FLASH0
SystemInit
bl1_aes_256_ctr_decrypt
bl1_derive_key
bl1_otp_read_key
bl1_sha256_compute
bl1_sha256_finish
bl1_sha256_init
bl1_sha256_update
bl1_trng_generate_random
computed_bl1_2_hash
pq_crypto_verify
stdio_init
stdio_output_string
stdio_uninit
tfm_plat_init_nv_counter
tfm_plat_otp_read
tfm_plat_read_nv_counter
tfm_plat_set_nv_counter
