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