sun4v_vintr_get_cookie
unsigned long sun4v_vintr_get_cookie(unsigned long dev_handle,
hv_err = sun4v_vintr_get_cookie(devhandle, devino, &cookie);