Lines Matching +full:riscv +full:- +full:sbi
1 // SPDX-License-Identifier: GPL-2.0+
36 ret = ofnode_read_u64(chosen_node, "riscv,kernel-start", in board_late_init()
39 ret = ofnode_read_u32(chosen_node, "riscv,kernel-start", in board_late_init()
53 * QEMU specifies the location of Linux (supplied with the -kernel argument)
54 * in the device tree using the riscv,kernel-start and riscv,kernel-end
55 * properties. We currently rely on the SBI implementation of BBL to run
61 * This workaround can be removed, once we do not require BBL for its SBI
73 ret = fdt_setprop_u64(blob, chosen_offset, "riscv,kernel-start", 0); in ft_board_setup()
75 ret = fdt_setprop_u32(blob, chosen_offset, "riscv,kernel-start", 0); in ft_board_setup()
81 ret = fdt_setprop_u64(blob, chosen_offset, "riscv,kernel-end", 0); in ft_board_setup()
83 ret = fdt_setprop_u32(blob, chosen_offset, "riscv,kernel-end", 0); in ft_board_setup()