timer.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <bl_uapp/bl_syscall_public.h>
#include <stdint.h>
#include <timer.h>
 
void timer_monotonic_get(struct mono_time *mt)
{
        /* Chrono timer is based on a 25MHz clock */
        uint64_t clk;
 
        svc_read_timer_val(PSP_TIMER_TYPE_CHRONO, &clk);
 
        mt->microseconds = clk / 25;
}