Public function for drive_id
How about a function for getting the number of drives in the system?
@IanSeyler what do you mean drive ID? Would that be the device ID in the PCI register? Or an ID in the AHCI spec? What it be used for the b_disk_read and b_disk_write functions (instead of the drive index?)
This would be the AHCI drive number (as in which SATA port the drive is connected to).
What if there are two AHCI controllers? The same port index could refer to two or more ports, depending on how many AHCI controllers there are.
Right now the kernel only supports one AHCI device so currently that isn't an issue. However the driver and API will need to be adjusted for this in the future. Currently the AHCI driver stops looking for devices after the first one is found.
This will be closed once #57 is complete.