Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dtee_time.h17 void tee_time_wait(uint32_t milliseconds_delay);
/optee_os/core/kernel/
H A Dtee_time.c14 void tee_time_wait(uint32_t milliseconds_delay) in tee_time_wait() function
/optee_os/core/tee/
H A Dtee_svc.c968 tee_time_wait(timeout - mytime); in syscall_wait()