ps3_flash_workaround   25 drivers/ps3/ps3stor_lib.c } ps3_flash_workaround;
ps3_flash_workaround   35 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.flash_open = 1;
ps3_flash_workaround   38 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.disk_open = 1;
ps3_flash_workaround   48 drivers/ps3/ps3stor_lib.c 		&& ps3_flash_workaround.disk_open
ps3_flash_workaround   49 drivers/ps3/ps3stor_lib.c 		&& ps3_flash_workaround.flash_open) {
ps3_flash_workaround   50 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.disk_sbd = sbd;
ps3_flash_workaround   60 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.disk_open = 0;
ps3_flash_workaround   63 drivers/ps3/ps3stor_lib.c 		ps3_flash_workaround.flash_open = 0;
ps3_flash_workaround   65 drivers/ps3/ps3stor_lib.c 		if (ps3_flash_workaround.disk_sbd) {
ps3_flash_workaround   66 drivers/ps3/ps3stor_lib.c 			ps3_close_hv_device(ps3_flash_workaround.disk_sbd);
ps3_flash_workaround   67 drivers/ps3/ps3stor_lib.c 			ps3_flash_workaround.disk_open = 0;
ps3_flash_workaround   68 drivers/ps3/ps3stor_lib.c 			ps3_flash_workaround.disk_sbd = NULL;