Symbol: AHCI_ID_GENERATOR
src/add-ons/kernel/busses/scsi/ahci/ahci.c
169
int32 id = gDeviceManager->create_id(AHCI_ID_GENERATOR);
src/add-ons/kernel/busses/scsi/ahci/ahci.c
194
gDeviceManager->free_id(AHCI_ID_GENERATOR, id);