sun4v_intr_setcookie
err = sun4v_intr_setcookie(devhandle, sysino, (vaddr_t)ih);
int64_t sun4v_intr_setcookie(uint64_t, uint64_t, uint64_t);