cprover
kdev_t.h
Go to the documentation of this file.
1 #ifndef __KDEV_T_H__
2 #define __KDEV_T_H__
3 
4 #define MINORBITS 8
5 
6 typedef unsigned short kdev_t;
7 
8 #define MAJOR(dev) ((dev) >> MINORBITS)
9 #define MINOR(dev) ((dev) % 256)
10 #define NODEV 0
11 
12 typedef unsigned int mode_t;
13 typedef unsigned int loff_t;
14 
15 struct inode {
17 };
18 
19 struct file {
22 };
23 
24 struct data {
25  int size;
26  char *content;
27 };
28 
29 #endif
mode_t f_mode
Definition: kdev_t.h:20
Definition: kdev_t.h:15
unsigned short kdev_t
Definition: kdev_t.h:6
unsigned int mode_t
Definition: kdev_t.h:12
unsigned int loff_t
Definition: kdev_t.h:13
int size
Definition: kdev_t.h:25
kdev_t i_rdev
Definition: kdev_t.h:16
char * content
Definition: kdev_t.h:26
loff_t f_pos
Definition: kdev_t.h:21
Definition: kdev_t.h:24
Definition: kdev_t.h:19