Searched refs:get_system_time (Results 1 – 1 of 1) sorted by relevance
171 static TEE_Result get_system_time(uint32_t type, in get_system_time() function240 return get_system_time(ptypes, params); in invoke_command()