Searched refs:platform_lock (Results 1 – 1 of 1) sorted by relevance
41 static void *platform_lock; variable107 if (platform_lock != ((void *)0)) in platform_init_interrupt()112 env_lock_mutex(platform_lock); in platform_init_interrupt()121 env_unlock_mutex(platform_lock); in platform_init_interrupt()132 if (platform_lock != ((void *)0)) in platform_deinit_interrupt()134 env_lock_mutex(platform_lock); in platform_deinit_interrupt()146 env_unlock_mutex(platform_lock); in platform_deinit_interrupt()158 env_lock_mutex(platform_lock); in platform_notify()164 env_unlock_mutex(platform_lock); in platform_notify()312 if (0 != env_create_mutex(&platform_lock, 1, &platform_lock_static_ctxt)) in platform_init()[all …]