Searched refs:coreboot_serial (Results 1 – 6 of 6) sorted by relevance
67 if (coreboot_serial.type) { in bl31_early_platform_setup2()68 console_16550_register(coreboot_serial.baseaddr, in bl31_early_platform_setup2()69 coreboot_serial.input_hertz, in bl31_early_platform_setup2()70 coreboot_serial.baud, in bl31_early_platform_setup2()
121 if (coreboot_serial.type) in bl31_early_platform_setup2()122 console_16550_register(coreboot_serial.baseaddr, in bl31_early_platform_setup2()123 coreboot_serial.input_hertz, in bl31_early_platform_setup2()124 coreboot_serial.baud, in bl31_early_platform_setup2()
48 coreboot_serial_t coreboot_serial; variable143 memcpy(&coreboot_serial, &entry->serial, in coreboot_table_setup()144 sizeof(coreboot_serial)); in coreboot_table_setup()
153 return coreboot_serial.baseaddr; in rockchip_get_uart_base()162 return coreboot_serial.baud; in rockchip_get_uart_baudrate()171 return coreboot_serial.input_hertz; in rockchip_get_uart_clock()
67 if (coreboot_serial.baseaddr != 0) { in bl31_early_platform_setup()71 coreboot_serial.baseaddr); in bl31_early_platform_setup()
20 extern coreboot_serial_t coreboot_serial;