Re: [PATCH] ocaml/xc: add softreset shutdown reason

[Wei Liu <wei.liu2@citrix.com>]

Dave, ping?

On Mon, Nov 16, 2015 at 12:43:19PM +0000, Wei Liu wrote:
> According to public/sched.h, there is a new shutdown_reason called
> soft_reset. Propagate that value to ocaml.
> 
> Signed-off-by: Wei Liu <wei.liu2@citrix.com>
> ---
> Cc: David Scott <dave@recoil.org>
> Cc: Ian Jackson <ian.jackson@eu.citrix.com>
> Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
> Cc: Ian Campbell <ian.campbell@citrix.com>
> ---
>  tools/ocaml/libs/xc/xenctrl.ml  | 2 +-
>  tools/ocaml/libs/xc/xenctrl.mli | 2 +-
>  2 files changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml
> index beb95b8..41d228d 100644
> --- a/tools/ocaml/libs/xc/xenctrl.ml
> +++ b/tools/ocaml/libs/xc/xenctrl.ml
> @@ -89,7 +89,7 @@ type compile_info =
>  	compile_date : string;
>  }
>  
> -type shutdown_reason = Poweroff | Reboot | Suspend | Crash | Watchdog
> +type shutdown_reason = Poweroff | Reboot | Suspend | Crash | Watchdog | Soft_reset
>  
>  type domain_create_flag = CDF_HVM | CDF_HAP
>  
> diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.mli
> index 8928a2e..b4a175b 100644
> --- a/tools/ocaml/libs/xc/xenctrl.mli
> +++ b/tools/ocaml/libs/xc/xenctrl.mli
> @@ -61,7 +61,7 @@ type compile_info = {
>    compile_domain : string;
>    compile_date : string;
>  }
> -type shutdown_reason = Poweroff | Reboot | Suspend | Crash | Watchdog
> +type shutdown_reason = Poweroff | Reboot | Suspend | Crash | Watchdog | Soft_reset
>  
>  type domain_create_flag = CDF_HVM | CDF_HAP
>  
> -- 
> 2.1.4
>