void ahci_init(void);