Searched refs:platform_init (Results 1 – 1 of 1) sorted by relevance
27 static TEE_Result platform_init(void) in platform_init() function46 service_init(platform_init);