core/arch/arm/include/kernel/time_source.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, Linaro Limited
 * All rights reserved.
 */

#include <kernel/tee_time.h>

struct time_source {
	const char *name;
	uint32_t protection_level;
	TEE_Result (*get_sys_time)(TEE_Time *time);
};
void time_source_init(void);

#define REGISTER_TIME_SOURCE(source)	\
	void time_source_init(void) { \
		_time_source = source; \
	}

extern struct time_source _time_source;

void arm_prng_add_jitter_entropy(void);