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;