fw_card_initialize(struct fw_card *card, const struct fw_card_driver *driver,
                   struct device *device)
 {
-       static int index;
+       static atomic_t index = ATOMIC_INIT(-1);
 
-       card->index = index++;
+       card->index = atomic_inc_return(&index);
        card->driver = driver;
        card->device = device;
        card->current_tlabel = 0;
 
 
 static void fw_device_init(struct work_struct *work)
 {
-       static int serial;
+       static atomic_t serial = ATOMIC_INIT(-1);
        struct fw_device *device =
                container_of(work, struct fw_device, work.work);
 
        device->device.release = fw_device_release;
        device->device.parent = device->card->device;
        snprintf(device->device.bus_id, sizeof device->device.bus_id,
-                "fw%d", serial++);
+                "fw%d", atomic_inc_return(&serial));
 
        if (alloc_chrdev_region(&device->device.devt, 0, 1, "fw")) {
                fw_error("Failed to register char device region.\n");