AHCI_MAX_PORTS
KASSERT(n >= 0 && n < AHCI_MAX_PORTS, ("Bad channel number %d", n));
struct ahci_led leds[AHCI_MAX_PORTS * 3];
uint8_t status[AHCI_MAX_PORTS][4]; /* ArrayDev statuses */
} interrupt[AHCI_MAX_PORTS];
struct ahci_channel *ch[AHCI_MAX_PORTS]; /* Attached channels */