78 void secure_unlock_mem(void)  in secure_unlock_mem()  argument
116 void secureworld_exit(void)  in secureworld_exit()  argument
147 void try_unlock_memory(void)  in try_unlock_memory()  argument
176 void early_system_init(void)  in early_system_init()  argument
186 void s_init(void)  in s_init()  argument
228 int __weak misc_init_r(void)  in misc_init_r()  argument
251 void watchdog_init(void)  in watchdog_init()  argument
275 void abort(void)  in abort()  argument
335 int checkboard (void)  in checkboard()  argument
418 static void omap3_invalidate_l2_cache_secure(void)  in omap3_invalidate_l2_cache_secure()  argument
431 void v7_outer_cache_enable(void)  in v7_outer_cache_enable()  argument
443 void omap3_outer_cache_disable(void)  in omap3_outer_cache_disable()  argument