while(readl(serverworks_private.registers+SVWRKS_DIRFLUSH) == 1) 
timeout = jiffies + 3*HZ; while (readl(serverworks_private.registers+SVWRKS_DIRFLUSH) == 1) { 
static void serverworks_tlbflush(struct agp_memory *temp){	writeb(1, serverworks_private.registers+SVWRKS_POSTFLUSH);	while (readb(serverworks_private.registers+SVWRKS_POSTFLUSH) == 1)		cpu_relax();	writel(1, serverworks_private.registers+SVWRKS_DIRFLUSH);	while(readl(serverworks_private.registers+SVWRKS_DIRFLUSH) == 1)		cpu_relax();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0ff541dafdcb9bc8933e7e4881e5924a408b5335/sworks-agp.c/clean/drivers/char/agp/sworks-agp.c