aboutsummaryrefslogtreecommitdiff
path: root/tools/domain_builder/dom_kill.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/domain_builder/dom_kill.c')
-rw-r--r--tools/domain_builder/dom_kill.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/domain_builder/dom_kill.c b/tools/domain_builder/dom_kill.c
index ddc0f8a4fd..b27fca9a58 100644
--- a/tools/domain_builder/dom_kill.c
+++ b/tools/domain_builder/dom_kill.c
@@ -21,7 +21,7 @@ static int do_kill_domain(int dom_id, int force)
dom0_op_t dop;
int cmd_fd;
- dop.cmd = DOM0_KILLDOMAIN;
+ dop.cmd = DOM0_DESTROYDOMAIN;
dop.u.killdomain.domain = dom_id;
dop.u.killdomain.force = force;