Searched refs:platform_banner (Results 1 – 5 of 5) sorted by relevance
46 static TEE_Result platform_banner(void) in platform_banner() function53 service_init(platform_banner);
37 static TEE_Result platform_banner(void) in platform_banner() function44 boot_final(platform_banner);
61 static TEE_Result platform_banner(void) in platform_banner() function108 service_init(platform_banner);
44 static TEE_Result platform_banner(void) in platform_banner() function52 service_init(platform_banner);
61 static TEE_Result platform_banner(void) in platform_banner() function69 service_init(platform_banner);