#include <kern/kfile.h>
-#include <cpu/relax.h> /* cpu_relax() */
+#include <cpu/power.h> /* cpu_relax() */
#warning FIXME:This file was change, but is untest!
Flash25 *fd = FLASH25_CAST(_fd);
- ASSERT(fd->fd.seek_pos + (kfile_size_t)size <= fd->fd.size);
- size = MIN((kfile_size_t)size, fd->fd.size - fd->fd.seek_pos);
+ ASSERT(fd->fd.seek_pos + (kfile_off_t)size <= fd->fd.size);
+ size = MIN((kfile_off_t)size, fd->fd.size - fd->fd.seek_pos);
//kprintf("Reading at addr[%lu], size[%d]\n", fd->seek_pos, size);
CS_ENABLE();
Flash25 *fd = FLASH25_CAST(_fd);
- ASSERT(fd->fd.seek_pos + (kfile_size_t)size <= fd->fd.size);
+ ASSERT(fd->fd.seek_pos + (kfile_off_t)size <= fd->fd.size);
- size = MIN((kfile_size_t)size, fd->fd.size - fd->fd.seek_pos);
+ size = MIN((kfile_off_t)size, fd->fd.size - fd->fd.seek_pos);
while (size)
{