is_kicked         117 drivers/video/fbdev/ps3fb.c 	int is_kicked;
is_kicked         897 drivers/video/fbdev/ps3fb.c 		if (ps3fb.is_kicked) {
is_kicked         898 drivers/video/fbdev/ps3fb.c 			ps3fb.is_kicked = 0;
is_kicked         927 drivers/video/fbdev/ps3fb.c 			ps3fb.is_kicked = 1;