Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / usr / proc_mgmt / pending_clients.h
index f5c2a4f..32261e4 100644 (file)
@@ -36,6 +36,6 @@ errval_t pending_clients_add(struct capref domain_cap,
                              struct proc_mgmt_binding *b, enum ClientType type,
                              coreid_t core_id);
 errval_t pending_clients_release(struct capref domain_cap,
-                                 struct pending_client *ret_cl);
+                                 struct pending_client **ret_cl);
 
 #endif  // PENDING_CLIENTS_H
\ No newline at end of file