AHCI_MAX_PORTS
for (i = 0; i < AHCI_MAX_PORTS; i++) {
uint32_t slot_status[AHCI_MAX_PORTS];
uint32_t reset_tags[AHCI_MAX_PORTS];
uint32_t finished_tags[AHCI_MAX_PORTS];
for (i = 0; i < AHCI_MAX_PORTS; i++) {
uint8_t ahcictl_port_to_cport[AHCI_MAX_PORTS];
uint8_t ahcictl_cport_to_port[AHCI_MAX_PORTS];
ahci_port_t *ahcictl_ports[AHCI_MAX_PORTS];
ahci_em_led_state_t ahcictl_em_state[AHCI_MAX_PORTS];