porting/dpl/kernel/src/dpl_time.c
/**
 * Return ticks [us] since system start as uint32_t.
 */
Return ticks [us] since system start as uint32_t.
Return ticks [ us ] since system start as uint32_t .
dpl_time_t
dpl_time_get(void)
{
    return hal_timer_read(0);
}
dpl_time_t dpl_time_get ( void ) { return hal_timer_read ( 0 ) ; }
Return ticks [us] since system start as uint32_t.
Return ticks [ us ] since system start as uint32_t .