ndi_event_cookie_to_tag
switch (ndi_event_cookie_to_tag(usb_ia->ia_ndi_event_hdl, cookie)) {
switch (ndi_event_cookie_to_tag(usb_mid->mi_ndi_event_hdl, cookie)) {
switch (ndi_event_cookie_to_tag(hubd->h_ndi_event_hdl, cookie)) {
tag = ndi_event_cookie_to_tag(rootnex_event_hdl, eventid);
ndi_event_cookie_to_tag(ndi_event_hdl_t handle,