Searched refs:trdc_config (Results 1 – 3 of 3) sorted by relevance
47 void trdc_config(void) in trdc_config() function
132 trdc_config(); in bl31_plat_arch_setup()
170 void trdc_config(void);