/* vdev.h - for 415.340 and 415.341 Assignment 2
   Header file for the virtual device layer.
   Written by Robert Sheehan - 27/07/96
   */

#define VDOK 0			/* no error */
#define VDBADBLOCK 1		/* bad block number */
#define VDBADDEV 2		/* bad vdev file */

extern void vdev_init();
extern int vdev_blockread(const int blocknum, void *blockbuf);
extern int vdev_blockwrite(const int blocknum, const void *blockbuf);
extern int vdev_numblocks();
extern int vdev_blocksize();