pkt_flush_cache 873 drivers/block/pktcdvd.c pkt_flush_cache(pd); pkt_flush_cache 2240 drivers/block/pktcdvd.c if (flush && pkt_flush_cache(pd))