diff options
Diffstat (limited to 'tools/domain_builder/dom0_ops.h')
| -rw-r--r-- | tools/domain_builder/dom0_ops.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/domain_builder/dom0_ops.h b/tools/domain_builder/dom0_ops.h index d98ce1b1eb..6c60a93ff6 100644 --- a/tools/domain_builder/dom0_ops.h +++ b/tools/domain_builder/dom0_ops.h @@ -27,6 +27,7 @@ typedef struct dom0_newdomain_st typedef struct dom0_killdomain_st { unsigned int domain; + int force; } dom0_killdomain_t; typedef struct dom0_getmemlist_st |