K 10
svn:author
V 4
mmel
K 8
svn:date
V 27
2015-11-29T11:28:04.264288Z
K 7
svn:log
V 346
AHCI: Fix AHCI driver for ARM.
On ARM, we must ensure proper interdevice write ordering.
The AHCI interrupt status register must be updated in HW before
registers in interrupt controller.
Unfortunately, only way how we can do it is readback.

Discussed with:	mav
Approved by:	kib (mentor)
Differential Revision: https://reviews.freebsd.org/D4240

END