| Message ID | 20241115115200.2824-18-alejandro.vallejo@cloud.com (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | Introduce xenbindgen to autogen hypercall structs | expand |
diff --git a/tools/rust/xenbindgen/extra/arch-ppc/domainconfig.toml b/tools/rust/xenbindgen/extra/arch-ppc/domainconfig.toml new file mode 100644 index 000000000000..ecf9f1d9937d --- /dev/null +++ b/tools/rust/xenbindgen/extra/arch-ppc/domainconfig.toml @@ -0,0 +1,4 @@ +[[structs]] +name = "xen_arch_domainconfig" +description = "ppc-specific domain settings." +fields = [] diff --git a/xen/include/public/arch-ppc.h b/xen/include/public/arch-ppc.h index 33a24e379551..1e0018e12c73 100644 --- a/xen/include/public/arch-ppc.h +++ b/xen/include/public/arch-ppc.h @@ -102,9 +102,6 @@ struct arch_shared_info { struct arch_vcpu_info { }; -struct xen_arch_domainconfig { -}; - typedef struct xen_pmu_arch { uint8_t dummy; } xen_pmu_arch_t; #endif diff --git a/xen/include/public/autogen/arch_ppc.h b/xen/include/public/autogen/arch_ppc.h new file mode 100644 index 000000000000..48fcc302f341 --- /dev/null +++ b/xen/include/public/autogen/arch_ppc.h @@ -0,0 +1,14 @@ +/* + * arch-ppc + * + * AUTOGENERATED. DO NOT MODIFY + */ +#ifndef __XEN_AUTOGEN_ARCH_PPC_H +#define __XEN_AUTOGEN_ARCH_PPC_H + +/* ppc-specific domain settings. */ +struct xen_arch_domainconfig { +}; + +#endif /* __XEN_AUTOGEN_ARCH_PPC_H */ +
Signed-off-by: Alejandro Vallejo <alejandro.vallejo@cloud.com> --- .../xenbindgen/extra/arch-ppc/domainconfig.toml | 4 ++++ xen/include/public/arch-ppc.h | 3 --- xen/include/public/autogen/arch_ppc.h | 14 ++++++++++++++ 3 files changed, 18 insertions(+), 3 deletions(-) create mode 100644 tools/rust/xenbindgen/extra/arch-ppc/domainconfig.toml create mode 100644 xen/include/public/autogen/arch_ppc.h