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)
doc
assets
driver.h
Generated by
1.8.20