This repository has been archived on 2021-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
OS/pintos-env/pintos/filesys/off_t.h

15 lines
358 B
C
Executable file

#ifndef FILESYS_OFF_T_H
#define FILESYS_OFF_T_H
#include <stdint.h>
/* An offset within a file.
This is a separate header because multiple headers want this
definition but not any others. */
typedef int32_t off_t;
/* Format specifier for printf(), e.g.:
printf ("offset=%"PROTd"\n", offset); */
#define PROTd PRId32
#endif /* filesys/off_t.h */