Made errval_t a flounder builtin.
[barrelfish] / if / monitor.if
index 8e37190..3fbe686 100644 (file)
@@ -8,8 +8,8 @@
  */
 
 interface monitor "The monitor to client Interface" {
-    alias vci_t uint64;
-    alias capid_t uint32;
+    alias vci uint64;
+    alias capid uint32;
 
     call alloc_iref_request(
         uintptr service_id);
@@ -119,16 +119,16 @@ interface monitor "The monitor to client Interface" {
     call cap_send_request(
         uintptr mon_id,
         cap cap,
-        capid_t capid);
+        capid capid);
     call cap_move_request(
         uintptr mon_id,
         give_away_cap cap,
-        capid_t capid);
+        capid capid);
     response cap_receive_request(
         uintptr conn_id,
         errval err,
         give_away_cap cap,
-        capid_t capid);
+        capid capid);
 
     call span_domain_request(
         uintptr domain_id,
@@ -164,22 +164,22 @@ interface monitor "The monitor to client Interface" {
     call multihop_routing_table_set(coreid from, coreid to[len]);
 
     // Connection set-up between monitor and client
-    call multihop_bind_client_request(iref iref, vci_t sender_vci);
-    response multihop_bind_client_reply(vci_t receiver_vci, vci_t sender_vci,
+    call multihop_bind_client_request(iref iref, vci sender_vci);
+    response multihop_bind_client_reply(vci receiver_vci, vci sender_vci,
                                         errval err);
 
     // Connection set-up between monitor and service
-    call multihop_bind_service_request(uintptr service_id, vci_t sender_vci);
-    response multihop_bind_service_reply(vci_t receiver_vci , vci_t sender_vci,
+    call multihop_bind_service_request(uintptr service_id, vci sender_vci);
+    response multihop_bind_service_reply(vci receiver_vci , vci sender_vci,
                                          errval err);
 
     // user message
-    message multihop_message(vci_t vci, uint8 direction, uint8 flags, uint32 ack,
+    message multihop_message(vci vci, uint8 direction, uint8 flags, uint32 ack,
                              uint8 payload[size]);
 
     // cap transfer
-    call multihop_cap_send(vci_t vci, uint8 direction, errval err, cap cap,
-                           capid_t capid);
+    call multihop_cap_send(vci vci, uint8 direction, errval err, cap cap,
+                           capid capid);
 
     /* Tracing Framework */