Searched refs:CPL_COOKIE_RESERVED (Results 1 – 3 of 3) sorted by relevance
400 CPL_COOKIE_RESERVED = 0, enumerator
415 MPASS(cookie > CPL_COOKIE_RESERVED); in set_tcb_rpl_handler()442 MPASS(cookie != CPL_COOKIE_RESERVED); in act_open_rpl_handler()497 MPASS(cookie > CPL_COOKIE_RESERVED); in t4_register_shared_cpl_handler()
1953 MPASS(cookie != CPL_COOKIE_RESERVED); in t4_set_tcb_field()