Searched refs:fdtbus_interrupt_cookie_mutex (Results 1 – 1 of 1) sorted by relevance
65 static kmutex_t fdtbus_interrupt_cookie_mutex; variable76 mutex_init(&fdtbus_interrupt_cookie_mutex, MUTEX_DEFAULT, IPL_HIGH); in fdtbus_intr_init()154 mutex_enter(&fdtbus_interrupt_cookie_mutex); in fdtbus_get_interrupt_cookie()162 mutex_exit(&fdtbus_interrupt_cookie_mutex); in fdtbus_get_interrupt_cookie()170 mutex_enter(&fdtbus_interrupt_cookie_mutex); in fdtbus_put_interrupt_cookie()177 mutex_exit(&fdtbus_interrupt_cookie_mutex); in fdtbus_put_interrupt_cookie()240 mutex_enter(&fdtbus_interrupt_cookie_mutex); in fdtbus_intr_establish_raw()242 mutex_exit(&fdtbus_interrupt_cookie_mutex); in fdtbus_intr_establish_raw()257 mutex_enter(&fdtbus_interrupt_cookie_mutex); in fdtbus_intr_establish_raw()259 mutex_exit(&fdtbus_interrupt_cookie_mutex); in fdtbus_intr_establish_raw()[all …]