Searched refs:orig_ipcb_cnt (Results 1 – 1 of 1) sorted by relevance
129 __assert_only size_t orig_ipcb_cnt = in exclaves_ipc_buffer_count_dec() local131 assert3u(orig_ipcb_cnt, >=, 1); in exclaves_ipc_buffer_count_dec()