Searched refs:platform_banner (Results 1 – 2 of 2) sorted by relevance
71 static TEE_Result platform_banner(void) in platform_banner() function118 service_init(platform_banner);
60 static TEE_Result platform_banner(void) in platform_banner() function73 service_init(platform_banner);
Completed in 3 milliseconds