On 11/03/2025 4:19 pm, Oleksii Kurochko wrote: > diff --git a/xen/arch/riscv/time.c b/xen/arch/riscv/time.c > new file mode 100644 > index 0000000000..210df6ba28 > --- /dev/null > +++ b/xen/arch/riscv/time.c > @@ -0,0 +1,38 @@ > +#include <xen/device_tree.h>
SPDX tag. ~Andrew