#ifndef KERNEL
#include "/usr/sys/h/ioctl.h"
#endif

/* Control bit definitions */

#define DRVCLK_ENABLE      0x0001  /* CSR bit 0 (to user dev) */
#define DRVCLK_CLEAR       0x0002  /* CSR bit 1 (to user dev) */
#define DRVCLK_INTEN       0x0040  /* INTER Enable A */
#define DRVCLK_CLOCKSET    0x0080  /* REQ A line from user dev */
#define DRVCLK_COUNTMASK   0x000f  /* valid bits in hard count */

struct drvclkdevice {
  unsigned short int csr;
  unsigned short int obuf;
  unsigned short int ibuf; };
