Searched refs:IDN_DLOCK_IS_HELD (Results 1 – 2 of 2) sorted by relevance
3005 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_send_fin()3692 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_error_fin_pend()3729 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_action_fin_pend()8066 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_send_cmd()8083 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_send_cmdresp()10028 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_mainmbox_init()10080 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_mainmbox_deinit()10097 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_mainmbox_activate()10135 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_mainmbox_chan_register()12162 ASSERT(IDN_DLOCK_IS_HELD(domid)); in idn_send_dataresp()
1764 #define IDN_DLOCK_IS_HELD(dd) (RW_LOCK_HELD(&idn_domain[dd].drwlock)) macro