AHCI_CAP_64BIT
if ((cap & AHCI_CAP_64BIT) != 0 && BUS_DMA_TAG_VALID(aa->aa_dmat64)) {
ahci_cap_64bit = (AHCI_READ(sc, AHCI_CAP) & AHCI_CAP_64BIT) != 0;
if (pci_dma64_available(jma->jma_pa) && (ahci_cap & AHCI_CAP_64BIT))