Searched refs:atmel_tcb_get_sys_time (Results 1 – 1 of 1) sorted by relevance
| /optee_os-3.20.0/core/drivers/ | ||
| A D | atmel_tcb.c | 74 static TEE_Result atmel_tcb_get_sys_time(TEE_Time *time) in atmel_tcb_get_sys_time() function |
Completed in 3 milliseconds