plat_ecc_capability_sc_set
plat_ecc_capability_sc_set(cap->capd_capability);
plat_ecc_capability_sc_set
plat_ecc_capability_sc_set
plat_ecc_capability_sc_set(cap->capd_capability);
extern void plat_ecc_capability_sc_set(uint32_t cap);