Searched refs:console_dcc_register (Results 1 – 4 of 4) sorted by relevance
17 int console_dcc_register(void);
149 int console_dcc_register(void) in console_dcc_register() function
85 int32_t rc = console_dcc_register(); in bl31_early_platform_setup2()
90 int32_t rc = console_dcc_register(); in bl31_early_platform_setup2()
Completed in 11 milliseconds