4 #include <lowlevel/arch.h>
6 // Normally, stdint.h will end up referring to this file, so the
7 // #ifndef will prevent duplicate typedefs. If using these headers
8 // on another OS whose stdint.h does not use this file, define
9 // _LL_NO_STDINT and make sure that the stdint definitions have
10 // been defined before including any lowlevel-lib files.
13 #include _LL_INC(types.h)