Merge branch 'arrakis'
[barrelfish] / include / barrelfish_kpi / capabilities.h
index 8f93685..b980be0 100644 (file)
@@ -220,6 +220,7 @@ enum dispatcher_cmd {
     DispatcherCmd_PerfMon,          ///< Performance monitoring
     DispatcherCmd_SetupGuest,       ///< Set up the DCB of a guest domain
     DispatcherCmd_DumpPTables,      ///< Dump hw page tables of dispatcher
+    DispatcherCmd_DumpCapabilities  ///< Dump capabilities of dispatcher
     DispatcherCmd_Vmread,           ///< Execute vmread on the current and active VMCS      
     DispatcherCmd_Vmwrite,          ///< Execute vmwrite on the current and active VMCS
     DispatcherCmd_Vmptrld,          ///< Make VMCS clear and inactive