ahci_get_num_implemented_ports
static int ahci_get_num_implemented_ports(uint32_t);
ahci_get_num_implemented_ports(