From: Grygorii Strashko <grygorii_strashko@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_strashko@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