-#define PAGE_UNSET_SENTINEL ((1 << (CPU_BITS_PER_CHAR * sizeof(pgcnt_t))) - 1)
-
-/**
- * Type interface for disk init function.
- * \return true if all is ok, false otherwise.
- */
-typedef bool (*disk_open_t) (struct BattFsSuper *d);
-
-/**
- * Type interface for disk page read function.
- * \a page is the page address, \a addr the address inside the page,
- * \a size the lenght to be read.
- * \return the number of bytes read.
- */
-typedef size_t (*disk_page_read_t) (struct BattFsSuper *d, pgcnt_t page, pgaddr_t addr, void *buf, size_t);
-
-
-/**
- * Type interface for disk page load function.
- * The disk should supply a buffer used for loading/saving pages.
- * This has to be done by the disk driver because it knows memory details
- * (e.g. some memories can have the buffer inside the memory itself).
- * \a page is the page to be loaded from the disk in the buffer.
- * \return true if ok, false on errors.
- */
-typedef bool (*disk_page_load_t) (struct BattFsSuper *d, pgcnt_t page);
-
-/**
- * Type interface for disk pagebuffer write function.
- * \a addr is the address inside the current loaded page,
- * \a size the lenght to be written.
- * \return the number of bytes written.
- */
-typedef size_t (*disk_buffer_write_t) (struct BattFsSuper *d, pgaddr_t addr, const void *buf, size_t);
-
-/**
- * Type interface for disk page save function.
- * The disk should supply a buffer used for loading/saving pages.
- * For details \see disk_page_load_t.
- * \a page is the page where the buffer will be written.
- * \return true if ok, false on errors.
- */
-typedef bool (*disk_page_save_t) (struct BattFsSuper *d, pgcnt_t page);
-
-/**
- * Type interface for disk page erase function.
- * \a page is the page address.
- * \return true if all is ok, false otherwise.
- */
-typedef bool (*disk_page_erase_t) (struct BattFsSuper *d, pgcnt_t page);
-
-/**
- * Type interface for disk deinit function.
- * \return true if all is ok, false otherwise.
- */
-typedef bool (*disk_close_t) (struct BattFsSuper *d);
-