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