PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
filesys
off_t.h
Go to the documentation of this file.
1
#ifndef FILESYS_OFF_T_H
2
#define FILESYS_OFF_T_H
3
4
#include <
stdint.h
>
5
6
/** An offset within a file.
7
This is a separate header because multiple headers want this
8
definition but not any others. */
9
typedef
int32_t
off_t
;
10
11
/** Format specifier for printf(), e.g.:
12
printf ("offset=%"PROTd"\n", offset); */
13
#define PROTd PRId32
14
15
#endif
/**< filesys/off_t.h */
off_t
int32_t off_t
An offset within a file.
Definition:
off_t.h:9
stdint.h
int32_t
signed int int32_t
Definition:
stdint.h:12
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by
1.9.2