From: Grygorii Strashko <grygorii_stras...@epam.com>
Existing users of kernel_probe() reworked to probe guest kernel before
creating domain and any new users must follow the same approach, so add
assert to check that domain was not created before calling kernel_probe().
Signed-off-by: Grygorii Strashko <grygorii_stras...@epam.com>
---
xen/common/device-tree/kernel.c | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/xen/common/device-tree/kernel.c b/xen/common/device-tree/kernel.c
index f67229f66d30..445a521607e0 100644
--- a/xen/common/device-tree/kernel.c
+++ b/xen/common/device-tree/kernel.c
@@ -128,6 +128,12 @@ int __init kernel_probe(struct kernel_info *info,
u64 kernel_addr, initrd_addr, dtb_addr, size;
int rc;
+ /*
+ * Kernel probe should be done and guest type (32/64bit) detected before
+ * creating domain and any new users must follow this approach.
+ */
+ ASSERT(!info->bd.d);
+
/*
* We need to initialize start to 0. This field may be populated during
* kernel_xxx_probe() if the image has a fixed entry point (for e.g.
--
2.34.1
