ps3flash_fetch    128 drivers/char/ps3flash.c 		res = ps3flash_fetch(dev, sector);
ps3flash_fetch    198 drivers/char/ps3flash.c 			res = ps3flash_fetch(dev, sector);