Searched refs:register_time_source (Results 1 – 1 of 1) sorted by relevance
19 static TEE_Result register_time_source(void) in register_time_source() function25 early_init(register_time_source);
Completed in 1 milliseconds