Symbol: rsmipc_cookie_t