/sys/external/bsd/gnu-efi/dist/lib/riscv64/
../
initplat.c
math.c
setjmp.S