Home
last modified time | relevance | path

Searched refs:syscall_get_time (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/include/tee/
H A Dtee_svc.h74 TEE_Result syscall_get_time(unsigned long cat, TEE_Time *time);
/optee_os/core/kernel/
H A Dscall.c62 SYSCALL_ENTRY(syscall_get_time),
/optee_os/core/tee/
H A Dtee_svc.c974 TEE_Result syscall_get_time(unsigned long cat, TEE_Time *mytime) in syscall_get_time() function