windhoek_driver.hpp

#if !defined(__WINDHOEK_DRIVER_HPP__)
#define __WINDHOEK_DRIVER_HPP__

//
// L4 includes
//
#if L4VMM_BUILD_ENABLE_WINDHOEK
    #include <l4/windhoek/types.h>
#else
    struct windhoek_device;
    struct windhoek_bio;
#endif

//
// local includes
//
#include "block_driver_base.hpp"

struct windhoek_driver : public block_driver_base, private noncopyable
{
  protected:
    const string    disk_name;
    l4_threadid_t   server_id;
    int             handle;
    windhoek_device *device;
    l4_sector_t     size;
    dataspace control, data;
    l4_sector_t     data_size;

  public:
    //
    // constructor & destructor
    //
    inline windhoek_driver(const string &disk_name, const state_flags flags=0)
        : block_driver_base(string(L4VMM_DRIVER" windhoek disk ") + disk_name, flags),
          disk_name(disk_name), server_id(L4_INVALID_ID), handle(-1), device(nullptr), size(0),
          // one page should be enough for now
          control(disk_name + " control DS", 1 << 12),
          // without LBA48 address mode, the disk emulation is limited to 256 sectors (128kB)
          data(disk_name + " data DS", 1 << 17),
          data_size(data.size / SECTOR_SIZE)
    {
        if (open_device()) log::error("%s: disabled\n", name());
    }

    virtual inline ~windhoek_driver(void)
    {
        close_device();
    }

    //
    // block_driver: override medium functions
    //
    virtual inline l4_sector_t sectors(void) const
    {
        return is(READY) ? size : 0;
    }

    virtual inline int read_sectors(uint8_t *buffer, l4_sector_t sector, l4_sector_t number)
    {
        return read_write_sectors(1, buffer, sector, number);
    }

    virtual inline int write_sectors(uint8_t *buffer, l4_sector_t sector, l4_sector_t number)
    {
        return read_write_sectors(0, buffer, sector, number);
    }

  protected:
    static l4_threadid_t get_windhoek_id(void);

    //
    // connection management functions
    //
    virtual int open_device(void);
    virtual int close_device(void);

    //
    // data transfer functions
    //
    int transfer_sectors(uint8_t read_write, l4_sector_t sector, l4_sector_t number);
    int read_write_sectors(uint8_t read_write, uint8_t *buffer, l4_sector_t sector, l4_sector_t number);
};

#endif

// ***** end of source ***** //