From 47c7038002085395fa9342d9bff28ce14662c735 Mon Sep 17 00:00:00 2001 From: Aurel Feer Date: Wed, 23 Mar 2022 14:45:50 +0100 Subject: [PATCH] DispatcherCmd_Stop capability command --- include/barrelfish_kpi/capabilities.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h index 12e683d..9b5422f 100644 --- a/include/barrelfish_kpi/capabilities.h +++ b/include/barrelfish_kpi/capabilities.h @@ -519,6 +519,7 @@ enum kernel_cmd { */ enum dispatcher_cmd { DispatcherCmd_Setup, ///< Set dispatcher parameters + DispatcherCmd_Stop, ///< afeer: script page 105: stop a process DispatcherCmd_Properties, ///< Set dispatcher properties DispatcherCmd_PerfMon, ///< Performance monitoring DispatcherCmd_SetupGuest, ///< Set up the DCB of a guest domain