/* * * (c) 2005 Laurent Vivier * */ #include #include #include extern int device_open(void); extern void device_close(void); extern void device_read(off_t offset, void* buffer, size_t size);