he_readl_tsr4    2425 drivers/atm/he.c 		(void) he_readl_tsr4(he_dev, cid);		/* flush posted writes */
he_readl_tsr4    2454 drivers/atm/he.c 		while (!((tsr4 = he_readl_tsr4(he_dev, cid)) & TSR4_SESSION_ENDED)) {