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
dummy_release
int dummy_release(struct inode *, struct file *)
dummy_read
unsigned int dummy_read(struct file *, char *, int)
file
Definition: kdev_t.h:19
dummy_open
int dummy_open(struct inode *, struct file *)
inode
Definition: kdev_t.h:15
nondet_uchar
unsigned char nondet_uchar()
modules.h
nondet_int
int nondet_int()
cleanup_module
void cleanup_module(void)
nondet_uint
unsigned int nondet_uint()
init_module
int init_module(void)