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)) {