[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH] ocaml: fix arm build



Hi Wei,

On 17/01/18 16:43, Wei Liu wrote:
ARM doesn't have emulation_flags in the arch_domainconfig.

Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>

Reviewed-by: Julien Grall <julien.grall@xxxxxxxxxx>

Cheers,

---
Cc: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
Cc: Julien Grall <julien.grall@xxxxxxx>
Cc: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
  tools/ocaml/libs/xc/xenctrl_stubs.c | 6 ++++++
  1 file changed, 6 insertions(+)

diff --git a/tools/ocaml/libs/xc/xenctrl_stubs.c 
b/tools/ocaml/libs/xc/xenctrl_stubs.c
index 0b5a2361c0..fd128778b3 100644
--- a/tools/ocaml/libs/xc/xenctrl_stubs.c
+++ b/tools/ocaml/libs/xc/xenctrl_stubs.c
@@ -175,11 +175,15 @@ CAMLprim value stub_xc_domain_create(value xch, value 
ssidref,
                caml_failwith("Unhandled: ARM");
                break;
+#if defined(__i386__) || defined(__x86_64__)
        case 1: /* X86 - emulation flags in the block */
                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);
  }


--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.