while ((savage_in32(0x48C00) & 0x0008ffff) != 0x80000); 
while ((savage_in32(0x48C00, par) & 0x0008ffff) != 0x80000); 
savage3D_waitidle(struct savagefb_par *par){	while ((savage_in32(0x48C00) & 0x0008ffff) != 0x80000);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1cc650c69f3079ce3c616c998a741bcf6ddf4f4d/savagefb_driver.c/buggy/drivers/video/savage/savagefb_driver.c