AHCI_ID_GENERATOR
int32 id = gDeviceManager->create_id(AHCI_ID_GENERATOR);
gDeviceManager->free_id(AHCI_ID_GENERATOR, id);