Lines Matching full:s
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()