Searched refs:GET_TCB_COOKIE (Results 1 – 2 of 2) sorted by relevance
377 #define GET_TCB_COOKIE(x) (((x) >> 5) & 7) macro
613 ret = GET_TCB_COOKIE(rpl->cookie); in filter_rpl()