Symbol: SVWRKS_DIRFLUSH
drivers/char/agp/sworks-agp.c
250
writel(1, serverworks_private.registers+SVWRKS_DIRFLUSH);
drivers/char/agp/sworks-agp.c
252
while (readl(serverworks_private.registers+SVWRKS_DIRFLUSH) == 1) {