AHCI_D_VERBOSE
DPRINTF(AHCI_D_VERBOSE, "%s: soft reset\n", PORTNAME(ap));
DPRINTF(AHCI_D_VERBOSE, " GHC 0x%pb%i",
int ahcidebug = AHCI_D_VERBOSE;
DPRINTF(AHCI_D_VERBOSE, "%s: ports implemented: 0x%08x\n",
DPRINTF(AHCI_D_VERBOSE, "%s: soft reset\n", PORTNAME(ap));