ocaml: fix arm build
authorWei Liu <wei.liu2@citrix.com>
Wed, 17 Jan 2018 16:43:54 +0000 (16:43 +0000)
committerWei Liu <wei.liu2@citrix.com>
Thu, 18 Jan 2018 10:54:08 +0000 (10:54 +0000)
ARM doesn't have emulation_flags in the arch_domainconfig.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
tools/ocaml/libs/xc/xenctrl_stubs.c

index 0b5a2361c068c89054d9d117eb689a52aabe11e9..dd6000caa3197ea1b205ddff1edb133749cb350c 100644 (file)
@@ -176,10 +176,14 @@ CAMLprim value stub_xc_domain_create(value xch, value ssidref,
                break;
 
        case 1: /* X86 - emulation flags in the block */
+#if defined(__i386__) || defined(__x86_64__)
                for (l = Field(Field(domconfig, 0), 0);
                     l != Val_none;
                     l = Field(l, 1))
                        config.emulation_flags |= 1u << Int_val(Field(l, 0));
+#else
+               caml_failwith("Unhandled: x86");
+#endif
                break;
 
        default:
@@ -320,6 +324,7 @@ static value alloc_domaininfo(xc_domaininfo_t * info)
 
        Store_field(result, 15, tmp);
 
+#if defined(__i386__) || defined(__x86_64__)
        /* emulation_flags: x86_arch_emulation_flags list; */
        tmp = emul_list = Val_emptylist;
        for (i = 0; i < 10; i++) {
@@ -341,6 +346,7 @@ static value alloc_domaininfo(xc_domaininfo_t * info)
        Store_field(arch_config, 0, x86_arch_config);
 
        Store_field(result, 16, arch_config);
+#endif
 
        CAMLreturn(result);
 }