SVWRKS_DIRFLUSH   251 drivers/char/agp/sworks-agp.c 	writel(1, serverworks_private.registers+SVWRKS_DIRFLUSH);
SVWRKS_DIRFLUSH   253 drivers/char/agp/sworks-agp.c 	while (readl(serverworks_private.registers+SVWRKS_DIRFLUSH) == 1) {