Changeset 98cb5e0d in mainline

Timestamp:

2017-11-25T14:43:29Z (6 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

01c3bb4

Parents:

ac307b2

Message:

Move cap_handle_t to abi/cap.h

Files:

• abi/include/abi/cap.h (modified) (1 diff)
• kernel/generic/include/cap/cap.h (modified) (2 diffs)

abi/include/abi/cap.h

@@ -38 +38 @@
 #define CAP_NIL         0
 
+typedef int cap_handle_t;
+
 #endif
 

kernel/generic/include/cap/cap.h

@@ -36 +36 @@
 #define KERN_CAP_H_
 
+#include <abi/cap.h>
 #include <typedefs.h>
 #include <adt/list.h>
@@ -43 +44 @@
 #include <synch/mutex.h>
 #include <atomic.h>
-
-typedef int cap_handle_t;
 
 typedef enum {