he_readl_tsr4
(void) he_readl_tsr4(he_dev, cid); /* flush posted writes */
while (!((tsr4 = he_readl_tsr4(he_dev, cid)) & TSR4_SESSION_ENDED)) {