[RFC PATCH 17/25] xen/ppc: Replace empty xen_arch_domainconfig with autogenerated one

[Alejandro Vallejo <alejandro.vallejo@xxxxxxxxx>]

Signed-off-by: Alejandro Vallejo <alejandro.vallejo@xxxxxxxxx>
---
 .../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

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 */
+
-- 
2.47.0