pci.c: try a different version of write_flush()
commitcf7f42dbfd6b6bfc30f92fd35cd0ce71de0386d8
authorFrancis Galiegue <fgaliegue@gmail.com>
Fri, 9 May 2008 14:37:16 +0000 (9 16:37 +0200)
committerFrancis Galiegue <fgaliegue@gmail.com>
Fri, 9 May 2008 14:37:16 +0000 (9 16:37 +0200)
tree991613d31c7234f992bd2cf7ff55cb769c03d09f
parenta07a336712edbb433321378bb3126fc47b9c64b5
pci.c: try a different version of write_flush()

From LDD3: reads to I/O ports are guaranteed to be ordered on x86, but
not writes. ARM? Good question.

This is probably why the write_flush() function read a register from
the card. Try instead to use smp_wmb().
pci.c