-/* Data type for area ID's */
-
-#ifdef CONFIG_AREAS
-typedef u32 area_t;
-#define AREA_NONE 0
-#define AREA_ANY ~0U
-#else
-typedef struct { } area_t;
-#define AREA_NONE (area_t){}
-#define AREA_ANY (area_t){}
-#endif
-
-/* Misc */
-
-#ifdef __GNUC__
-
-#undef inline
-#define NONRET __attribute__((noreturn))
-#define UNUSED __attribute__((unused))
-#define CONSTRUCTOR __attribute__((constructor))
-#define PACKED __attribute__((packed))
-#define CONST __attribute__((const))
-#define PURE __attribute__((const))
-#define likely(x) __builtin_expect((x),1)
-#define unlikely(x) __builtin_expect((x),0)
-
-#else
-#error This program requires the GNU C compiler.
-#endif
-