Re: [Minios-devel] [UNIKRAFT PATCH 4/7] plat/xen: Dummy implementation of ukplat_wall_clock() for arm32

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

Hi Florian,

Looks good, thanks.

— Felipe

Reviewed-by: Felipe Huici <felipe.huici@xxxxxxxxx>

> On 22. Feb 2019, at 15:12, Florian Schmidt <Florian.Schmidt@xxxxxxxxx> wrote:
> 
> Signed-off-by: Florian Schmidt <florian.schmidt@xxxxxxxxx>
> ---
> plat/xen/arm/arch_time.c | 6 ++++++
> 1 file changed, 6 insertions(+)
> 
> diff --git a/plat/xen/arm/arch_time.c b/plat/xen/arm/arch_time.c
> index fec89da8..cd96e710 100644
> --- a/plat/xen/arm/arch_time.c
> +++ b/plat/xen/arm/arch_time.c
> @@ -97,6 +97,12 @@ __nsec ukplat_monotonic_clock(void)
>       return (__nsec) ticks_to_ns(read_virtual_count() - cntvct_at_init);
> }
> 
> +/* TODO: proper implementation of wall clock time */
> +__nsec ukplat_wall_clock(void)
> +{
> +     return ukplat_monotonic_clock();
> +}
> +
> /* Set the timer and mask. */
> void write_timer_ctl(uint32_t value)
> {
> -- 
> 2.20.1
> 
> 
> _______________________________________________
> Minios-devel mailing list
> Minios-devel@xxxxxxxxxxxxxxxxxxxx
> https://lists.xenproject.org/mailman/listinfo/minios-devel

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel