Lines Matching refs:log_debug
28 log_debug("Looking for DBG2 in ACPI tables\n"); in read_dbg2()
30 log_debug("No ACPI tables\n"); in read_dbg2()
36 log_debug("No DBG2 table\n"); in read_dbg2()
43 log_debug("No devices\n"); in read_dbg2()
47 log_debug("Invalid offset\n"); in read_dbg2()
52 log_debug("Invalid revision %d\n", dbg->revision); in read_dbg2()
56 log_debug("No addresses\n"); in read_dbg2()
60 log_debug("Not a serial port\n"); in read_dbg2()
64 log_debug("Incompatible serial port\n"); in read_dbg2()
69 log_debug("Invalid base address/size offsets %d, %d\n", in read_dbg2()
75 log_debug("Zero address size\n"); in read_dbg2()
80 log_debug("Incompatible space %d\n", addr->space_id); in read_dbg2()
92 log_debug("Collected UART from ACPI DBG2 table\n"); in read_dbg2()
123 log_debug("Cannot detect UART\n"); in coreboot_of_to_plat()