PKUOS - Pintos
Pintos source browser for PKU Operating System course
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. */
9typedef 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 */
int32_t off_t
An offset within a file.
Definition: off_t.h:9
signed int int32_t
Definition: stdint.h:12