+/*
+ * Copyright (C) 2008 Andre Noll <maan@systemlinux.org>
+ *
+ * Licensed under the GPL v2. For licencing details see COPYING.
+ */
+
# define inline inline __attribute__ ((always_inline))
# define __noreturn __attribute__ ((noreturn))
# define __malloc __attribute__ ((malloc))