[xen staging] xen/riscv: implement SBI legacy SET_TIMER support for guests

[patchbot@xxxxxxx]

commit 647542cdf13ee31e7d32dcaddba8899cfdc98747
Author:     Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
AuthorDate: Fri Mar 6 17:33:25 2026 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Mar 10 09:26:41 2026 +0100

    xen/riscv: implement SBI legacy SET_TIMER support for guests
    
    Add handling of the SBI_EXT_0_1_SET_TIMER function ID to the legacy
    extension ecall handler. The handler now programs the vCPUâ??s virtual
    timer via vtimer_set_timer() and returns SBI_SUCCESS.
    
    This enables guests using the legacy SBI timer interface to schedule
    timer events correctly.
    
    Signed-off-by: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 xen/arch/riscv/vsbi/legacy-extension.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/xen/arch/riscv/vsbi/legacy-extension.c 
b/xen/arch/riscv/vsbi/legacy-extension.c
index 2e8df191c2..090c23440c 100644
--- a/xen/arch/riscv/vsbi/legacy-extension.c
+++ b/xen/arch/riscv/vsbi/legacy-extension.c
@@ -7,6 +7,7 @@
 
 #include <asm/processor.h>
 #include <asm/vsbi.h>
+#include <asm/vtimer.h>
 
 static void vsbi_print_char(char c)
 {
@@ -44,6 +45,11 @@ static int vsbi_legacy_ecall_handler(unsigned long eid, 
unsigned long fid,
         ret = SBI_ERR_NOT_SUPPORTED;
         break;
 
+    case SBI_EXT_0_1_SET_TIMER:
+        vtimer_set_timer(&current->arch.vtimer, regs->a0);
+        regs->a0 = SBI_SUCCESS;
+        break;
+
     default:
         /*
          * TODO: domain_crash() is acceptable here while things are still under
--
generated by git-patchbot for /home/xen/git/xen.git#staging