cprover
Loading...
Searching...
No Matches
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
12extern int init_module (void);
13extern void cleanup_module (void);
14extern int dummy_open (struct inode*, struct file*);
15extern unsigned int dummy_read (struct file*, char*, int);
16extern int dummy_release (struct inode*, struct file*);
17
18/* Functions for SATABS */
20unsigned int nondet_uint ();
21unsigned char nondet_uchar ();
22
23#endif
unsigned int nondet_uint()
void cleanup_module(void)
int dummy_release(struct inode *, struct file *)
int init_module(void)
unsigned char nondet_uchar()
int dummy_open(struct inode *, struct file *)
int nondet_int()
unsigned int dummy_read(struct file *, char *, int)
Definition kdev_t.h:19
Definition kdev_t.h:15