kernel/elf.c
static uint64 elf_fpread(elf_ctx *ctx, void *dest, uint64 nb, uint64 offset) {
  elf_info *msg = (elf_info *)ctx->info;
  // call spike file utility
  return spike_file_pread(msg->f, dest, nb, offset);
}
//
// actual file reading, using the spike file interface.
//
actual file reading, using the spike file interface.
actual file reading using the spike file interface .
static uint64 elf_fpread(elf_ctx *ctx, void *dest, uint64 nb, uint64 offset) {
  elf_info *msg = (elf_info *)ctx->info;
  return spike_file_pread(msg->f, dest, nb, offset);
}
static uint64 elf_fpread ( elf_ctx * ctx , void * dest , uint64 nb , uint64 offset ) { elf_info * msg = ( elf_info * ) ctx -> info ; return spike_file_pread ( msg -> f , dest , nb , offset ) ; }
actual file reading, using the spike file interface.
actual file reading using the spike file interface .
// call spike file utility