lib/riscv/io.c

1 // SPDX-License-Identifier: GPL-2.0-only
21  * Use this guess for the uart base in order to make an attempt at
23  * base address that we read from the device tree later. This is
24  * the address we expect the virtual machine manager to put in
25  * its generated device tree.
66 	assert(ret >= 0 || ret == -FDT_ERR_NOTFOUND);  in uart0_init_fdt()
68 	if (ret == -FDT_ERR_NOTFOUND) {  in uart0_init_fdt()
71 			assert(ret == 0 || ret == -FDT_ERR_NOTFOUND);  in uart0_init_fdt()
77 			printf("%s: Compatible uart not found in the device tree, aborting...\n",  in uart0_init_fdt()
85 		val = fdt_getprop(dt_fdt(), ret, "reg-shift", &len);  in uart0_init_fdt()
89 		val = fdt_getprop(dt_fdt(), ret, "reg-io-width", &len);  in uart0_init_fdt()
145  * be in a0 when we halt. That gives us a final chance to see the exit