/* * * (c) 2005 Laurent Vivier * */ #include #include #include #include extern FILE *device_open(char *device); extern void device_close(void *data); extern int device_read_sector(void *data, off_t offset, void* buffer, size_t size);