T191: Implement prototype for new retype

[barrelfish] / kernel / syscall.c

diff --git a/kernel/syscall.c b/kernel/syscall.c
index 3fc26fe..ddf18ee 100644 (file)
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -267,6 +267,54 @@ sys_retype(struct capability *root, capaddr_t source_cptr, enum objtype type,
                               source_cap, from_monitor));
 }
 
+/**
+ * \param root                  Root CNode to invoke
+ * \param source_cptr           Source capability cptr
+ * \param offset                Offset into source capability from which to retype
+ * \param type                  Type to retype to
+ * \param objsize               Object size for variable-sized types
+ * \param count                 number of objects to create
+ * \param dest_cnode_cptr       Destination cnode cptr
+ * \param dest_slot             Destination slot number
+ * \param dest_vbits            Valid bits in destination cnode cptr
+ */
+struct sysret
+sys_retype2(struct capability *root, capaddr_t source_cptr, gensize_t offset,
+            enum objtype type, gensize_t objsize, size_t count,
+            capaddr_t dest_cnode_cptr, cslot_t dest_slot,
+            uint8_t dest_vbits, bool from_monitor)
+{
+    errval_t err;
+
+    /* Parameter checking */
+    if (type == ObjType_Null || type >= ObjType_Num) {
+        return SYSRET(SYS_ERR_ILLEGAL_DEST_TYPE);
+    }
+
+    /* Source capability */
+    struct cte *source_cte;
+    err = caps_lookup_slot(root, source_cptr, CPTR_BITS, &source_cte,
+                           CAPRIGHTS_READ);
+    if (err_is_fail(err)) {
+        return SYSRET(err_push(err, SYS_ERR_SOURCE_CAP_LOOKUP));
+    }
+    assert(source_cte != NULL);
+
+    /* Destination cnode */
+    struct capability *dest_cnode_cap;
+    err = caps_lookup_cap(root, dest_cnode_cptr, dest_vbits,
+                          &dest_cnode_cap, CAPRIGHTS_READ_WRITE);
+    if (err_is_fail(err)) {
+        return SYSRET(err_push(err, SYS_ERR_DEST_CNODE_LOOKUP));
+    }
+    if (dest_cnode_cap->type != ObjType_CNode) {
+        return SYSRET(SYS_ERR_DEST_CNODE_INVALID);
+    }
+
+    return SYSRET(caps_retype2(type, objsize, count, dest_cnode_cap, dest_slot,
+                               source_cte, offset, from_monitor));
+}
+
 struct sysret sys_create(struct capability *root, enum objtype type,
                          uint8_t objbits, capaddr_t dest_cnode_cptr,
                          cslot_t dest_slot, int dest_vbits)