1 #include <console/console.h>
4 #include <stream/read_bytes.h>
12 return file_open(boot_file);
16 void stream_fini(void)
21 byte_offset_t stream_skip(byte_offset_t count)
23 unsigned long pos = file_pos();
24 if (file_seek(count+pos) != count+pos)
29 byte_offset_t stream_read(void *vdest, byte_offset_t count)
31 return file_read(vdest, count);