ext_flip          114 drivers/video/fbdev/ps3fb.c 	atomic_t ext_flip;	/* on/off flip with vsync */
ext_flip          513 drivers/video/fbdev/ps3fb.c 		if (atomic_read(&ps3fb.ext_flip)) {
ext_flip          514 drivers/video/fbdev/ps3fb.c 			atomic_set(&ps3fb.ext_flip, 0);
ext_flip          862 drivers/video/fbdev/ps3fb.c 		atomic_inc(&ps3fb.ext_flip);
ext_flip          868 drivers/video/fbdev/ps3fb.c 		atomic_dec_if_positive(&ps3fb.ext_flip);
ext_flip          926 drivers/video/fbdev/ps3fb.c 		    !atomic_read(&ps3fb.ext_flip)) {
ext_flip          996 drivers/video/fbdev/ps3fb.c 	atomic_set(&ps3fb.ext_flip, 0);	/* for flip with vsync */
ext_flip         1217 drivers/video/fbdev/ps3fb.c 	atomic_inc(&ps3fb.ext_flip);	/* flip off */