Streamlines cap_ops

kth-step · Nov 12, 2023 · a831dc3 · a831dc3
1 parent 45ec901
commit a831dc3
Show file tree

Hide file tree

Showing 5 changed files with 347 additions and 228 deletions.
diff --git a/kernel/inc/cap_ops.h b/kernel/inc/cap_ops.h
@@ -5,7 +5,7 @@
 
 err_t cap_read(cte_t cte, cap_t *cap);
 err_t cap_move(cte_t src, cte_t dst);
+err_t cap_ipc_move(cte_t src, cte_t dst);
 err_t cap_delete(cte_t cte);
 err_t cap_revoke(cte_t parent);
-err_t cap_reset(cte_t cte);
 err_t cap_derive(cte_t src, cte_t dst, cap_t new_cap);
diff --git a/kernel/inc/cap_types.h b/kernel/inc/cap_types.h
@@ -56,6 +56,7 @@ typedef enum capty {
 	CAPTY_MONITOR = 4, ///< Monitor capability.
 	CAPTY_CHANNEL = 5, ///< IPC Channel capability.
 	CAPTY_SOCKET = 6,  ///< IPC Socket capability.
+	CAPTY_COUNT	   ///< Number of capability types
 } capty_t;
 
 /// Capability description