1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, Linaro Limited
4  */
5 
6 #include <kernel/tee_time.h>
7 
8 struct time_source {
9 	const char *name;
10 	uint32_t protection_level;
11 	TEE_Result (*get_sys_time)(TEE_Time *time);
12 };
13 void time_source_init(void);
14 
15 #define REGISTER_TIME_SOURCE(source)	\
16 	void time_source_init(void) { \
17 		_time_source = source; \
18 	}
19 
20 extern struct time_source _time_source;
21