[PATCH v3 02/39] xen/riscv: set the domain type for 64-bit kernel images

[Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>]

kernel_image64_probe() never set info->type, so every domain kept the
DOMAIN_32BIT value a zeroed KERNEL_INFO_INIT leaves behind, even though
Xen on RISC-V is only built for RV64 and accepts nothing but a 64-bit
Image.

Nothing consumes d->type on RISC-V yet, so there is no functional change.

Fixes: f6a20eda9212 ("xen/riscv: add Linux kernel loading support")
Signed-off-by: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
---
d->type being left wrong is a bug on its own, whether or not anything
consumes it yet. Its future user is "xen/riscv: set the guest's XLEN
explicitly in hstatus.VSXL" in this series.

The patch is placed ahead of that one, as it fixes an issue which already
exists and doesn't depend on it. If preferred, the two can be merged.
---
Changes in v3:
 - New patch.
---
---
 xen/arch/riscv/kernel.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/xen/arch/riscv/kernel.c b/xen/arch/riscv/kernel.c
index 8580cdb32d7a..5601b2818b37 100644
--- a/xen/arch/riscv/kernel.c
+++ b/xen/arch/riscv/kernel.c
@@ -233,6 +233,8 @@ static int __init kernel_image64_probe(struct kernel_info 
*info,
     info->image.text_offset = le64_to_cpu(image.text_offset);
     info->image.start = 0;
 
+    info->type = DOMAIN_64BIT;
+
     info->load = kernel_image_load;
 
     return 0;
-- 
2.55.0