According to datasheets for Intel ICH/PCH, it works for chipsets from ICH7 to 9-series PCH, with PCI device address D31:F2.
Change-Id: If1ddd7208108bda949b5a94894a7bf9e8bfe1e5f
904538b inteltool: add --ahci for printing AHCI registers
util/inteltool/Makefile | 2 +-
util/inteltool/ahci.c | 77 ++++++++++++++++++++++++++++++++++++++++++++
util/inteltool/inteltool.c | 27 +++++++++++++---
util/inteltool/inteltool.h | 1 +
4 files changed, 102 insertions(+), 5 deletions(-)
Upstream: review.coreboot.org