Changeset 428 for trunk/kernel/kern/rpc.h

Timestamp:

Jan 29, 2018, 6:08:07 PM (6 years ago)

Author:

alain

Message:

blip

File:

• trunk/kernel/kern/rpc.h (modified) (2 diffs)

trunk/kernel/kern/rpc.h

@@ -90 +90 @@
     RPC_SCHED_DISPLAY          = 27,
     RPC_VMM_SET_COW            = 28,
+    RPC_VMM_DISPLAY            = 29,
 
     RPC_MAX_INDEX              = 30,
@@ -698 +699 @@
 void rpc_vmm_set_cow_server( xptr_t xp );
 
+/***********************************************************************************
+ * [29] The RPC_VMM_DISPLAY allows any client thread to display the VMM state
+ * of a remote reference process identified by the <cxy> and <process> arguments.
+ * The type of display is defined by the <detailed> boolean argument.
+ ***********************************************************************************
+ * @ cxy         : server cluster identifier.
+ * @ process     : [in]  local pointer on reference process descriptor.
+ * @ detailed    : [in]  detailed display if true.
+ **********************************************************************************/
+void rpc_vmm_display_client( cxy_t              cxy,
+                             struct process_s * process,
+                             bool_t             detailed );
+
+void rpc_vmm_display_server( xptr_t xp );
+
+
 #endif