79 			printf("%s: Compatible uart not found in the device tree, aborting...\n",  in uart0_init_fdt()
122 void sbi_puts(const char *s);
123 void sbi_puts(const char *s)  in sbi_puts()  argument
125 	phys_addr_t addr = virt_to_phys((void *)s);  in sbi_puts()
130 	sbi_ecall(SBI_EXT_DBCN, SBI_EXT_DBCN_CONSOLE_WRITE, strlen(s), lo, hi, 0, 0, 0);  in sbi_puts()
134 void uart0_puts(const char *s);
135 void uart0_puts(const char *s)  in uart0_puts()  argument
139 	while (*s) {  in uart0_puts()
142 		uart0_write(0, *s++);  in uart0_puts()
147 void puts(const char *s)  in puts()  argument
150 	sbi_puts(s);  in puts()
152 	uart0_puts(s);  in puts()