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
file::f_pos
loff_t f_pos
Definition: kdev_t.h:21
inode::i_rdev
kdev_t i_rdev
Definition: kdev_t.h:16
file::f_mode
mode_t f_mode
Definition: kdev_t.h:20
data
Definition: kdev_t.h:24
file
Definition: kdev_t.h:19
mode_t
unsigned int mode_t
Definition: kdev_t.h:12
kdev_t
unsigned short kdev_t
Definition: kdev_t.h:6
loff_t
unsigned int loff_t
Definition: kdev_t.h:13
data::content
char * content
Definition: kdev_t.h:26
inode
Definition: kdev_t.h:15
data::size
int size
Definition: kdev_t.h:25