X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/3077745110b3fea73dd6d270c9777ab6df409cba..fba40cf7f1ec0cd4cfaa7ed6a530785cc666e2ec:/l4/pkg/l4sys/include/types.h

diff --git a/l4/pkg/l4sys/include/types.h b/l4/pkg/l4sys/include/types.h
index cd51bb390..ae2118eb0 100644
--- a/l4/pkg/l4sys/include/types.h
+++ b/l4/pkg/l4sys/include/types.h
@@ -5,7 +5,7 @@
  * \ingroup l4_api
  */
 /*
- * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ * (c) 2008-2013 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
  *               Alexander Warg <warg@os.inf.tu-dresden.de>,
  *               Björn Döbel <doebel@os.inf.tu-dresden.de>,
  *               Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
@@ -413,3 +413,6 @@ L4_INLINE unsigned l4_msgtag_is_sigma0(l4_msgtag_t t) L4_NOTHROW
 
 L4_INLINE unsigned l4_msgtag_is_io_page_fault(l4_msgtag_t t) L4_NOTHROW
 { return l4_msgtag_label(t) == L4_PROTO_IO_PAGE_FAULT; }
+
+#include <l4/sys/__l4_fpage.h>
+#include <l4/sys/__timeout.h>