disk_open          23 drivers/ps3/ps3stor_lib.c 	int disk_open;
disk_open          38 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.disk_open = 1;
disk_open          48 drivers/ps3/ps3stor_lib.c 		&& ps3_flash_workaround.disk_open
disk_open          60 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.disk_open = 0;
disk_open          67 drivers/ps3/ps3stor_lib.c 			ps3_flash_workaround.disk_open = 0;