Home
last modified time | relevance | path

Searched refs:get_sys_time (Results 1 – 6 of 6) sorted by relevance

/optee_os-3.20.0/core/include/kernel/
A Dtime_source.h11 TEE_Result (*get_sys_time)(TEE_Time *time); member
/optee_os-3.20.0/core/arch/riscv/kernel/
A Dtee_time_rdtime.c26 .get_sys_time = riscv_get_sys_time,
/optee_os-3.20.0/core/kernel/
A Dtee_time_ree.c37 .get_sys_time = get_monotonic_ree_time,
A Dtee_time.c29 return _time_source.get_sys_time(time); in tee_time_get_sys_time()
/optee_os-3.20.0/core/arch/arm/kernel/
A Dtee_time_arm_cntpct.c31 .get_sys_time = arm_cntpct_get_sys_time,
/optee_os-3.20.0/core/drivers/
A Datmel_tcb.c98 .get_sys_time = atmel_tcb_get_sys_time,

Completed in 5 milliseconds