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