Heinrich Schuchardt df31239ac5 riscv64: provide efisetjmp_arch.h vor 4 Jahren
..
efibind.h b5f98d40fe riscv64: missing EFI_FUNCTION vor 4 Jahren
efilibplat.h b95f138fa1 Initial support for RISCV64 vor 4 Jahren
efisetjmp_arch.h df31239ac5 riscv64: provide efisetjmp_arch.h vor 4 Jahren