Lines Matching +full:risc +full:- +full:v
1 // SPDX-License-Identifier: GPL-2.0
15 * RISC-V requires the kernel image to placed 2 MB aligned base for 64 bit and
36 return -EINVAL; in get_boot_hartid_from_fdt()
40 return -EINVAL; in get_boot_hartid_from_fdt()
42 prop = fdt_getprop((void *)fdt, chosen_node, "boot-hartid", &len); in get_boot_hartid_from_fdt()
44 return -EINVAL; in get_boot_hartid_from_fdt()
56 efi_err("/chosen/boot-hartid missing or invalid!\n"); in check_platform_features()
65 unsigned long stext_offset = _start_kernel - _start; in efi_enter_kernel()
89 kernel_size = _edata - _start; in handle_kernel_image()
91 *image_size = kernel_size + (_end - _edata); in handle_kernel_image()
94 * RISC-V kernel maps PAGE_OFFSET virtual address to the same physical in handle_kernel_image()