PKUOS - Pintos
Pintos source browser for PKU Operating System course
stddef.h
Go to the documentation of this file.
1#ifndef __LIB_STDDEF_H
2#define __LIB_STDDEF_H
3
4#define NULL ((void *) 0)
5#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
6
7/** GCC predefines the types we need for ptrdiff_t and size_t,
8 so that we don't have to guess. */
9typedef __PTRDIFF_TYPE__ ptrdiff_t;
10typedef __SIZE_TYPE__ size_t;
11
12#endif /**< lib/stddef.h */
__PTRDIFF_TYPE__ ptrdiff_t
GCC predefines the types we need for ptrdiff_t and size_t, so that we don't have to guess.
Definition: stddef.h:9
__SIZE_TYPE__ size_t
lib/stddef.h
Definition: stddef.h:10