#include <cfg/compiler.h>
#include <kern/kfile.h>
+#include <fs/battfs.h>
/**
* Type definitions for dflash memory.
/**
* Convert + ASSERT from generic KFile to DataFlash.
*/
-INLINE DataFlash * DATAFLASH(KFile *fd)
+INLINE DataFlash * DATAFLASH_CAST(KFile *fd)
{
ASSERT(fd->_type == KFT_DATAFLASH);
return (DataFlash *)fd;
bool dataflash_init(DataFlash *fd, KFile *ch, DataflashType type, dataflash_setCS_t *setCS, dataflash_setReset_t *setReset);
+bool dataflash_diskInit(struct BattFsSuper *d, DataFlash *fd, pgcnt_t *page_array);
/**
* To test data falsh drive you could use