cprover
driver.h
Go to the documentation of this file.
1 #ifndef __DRIVER_H__
2 #define __DRIVER_H__
3 
4 #define MODULE
5 #include "modules.h"
6 
7 #define TRUE 1
8 #define FALSE 0
9 
10 #define BUF_SIZE 255
11 
12 extern int init_module (void);
13 extern void cleanup_module (void);
14 extern int dummy_open (struct inode*, struct file*);
15 extern unsigned int dummy_read (struct file*, char*, int);
16 extern int dummy_release (struct inode*, struct file*);
17 
18 /* Functions for SATABS */
19 int nondet_int ();
20 unsigned int nondet_uint ();
21 unsigned char nondet_uchar ();
22 
23 #endif
int dummy_open(struct inode *, struct file *)
unsigned char nondet_uchar()
unsigned int nondet_uint()
void cleanup_module(void)
Definition: kdev_t.h:15
int nondet_int()
int init_module(void)
int dummy_release(struct inode *, struct file *)
unsigned int dummy_read(struct file *, char *, int)
Definition: kdev_t.h:19