Lines Matching refs:fdtbus_interrupt_cookie_mutex
65 static kmutex_t fdtbus_interrupt_cookie_mutex; variable
76 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()
282 mutex_enter(&fdtbus_interrupt_cookie_mutex); in fdtbus_intr_disestablish()
287 &fdtbus_interrupt_cookie_mutex); in fdtbus_intr_disestablish()
290 mutex_exit(&fdtbus_interrupt_cookie_mutex); in fdtbus_intr_disestablish()