Searched refs:atf_log_port (Results 1 – 3 of 3) sorted by relevance
31 unsigned int atf_log_port; member
91 console_init(gteearg.atf_log_port, in boot_to_kernel()
197 console_init(teearg->atf_log_port, UART_CLOCK, UART_BAUDRATE); in bl31_early_platform_setup2()