Searched refs:bl31_boot_console (Results 1 – 1 of 1) sorted by relevance
259 console_t *bl31_boot_console, in runtime_console_init() argument275 console_boot_end(bl31_boot_console); in runtime_console_init()286 console_boot_end(bl31_boot_console); in runtime_console_init()
