-   switch (cmd) {
-   case DISK_IOCTL_GET_SECTOR_COUNT:
-       (*(uint32_t *)buf) = card->block_count;
-       break;
-   case DISK_IOCTL_GET_SECTOR_SIZE:
-   case DISK_IOCTL_GET_ERASE_BLOCK_SZ:
-       (*(uint32_t *)buf) = card->block_size;
-       break;
-   case DISK_IOCTL_CTRL_SYNC:
-       /* Ensure card is not busy with data write.
-        * Note that SD stack does not support enabling caching, so
-        * cache flush is not required here
-        */
-       return sdmmc_wait_ready(card);
-   default:
-       return -ENOTSUP;
-   }
-   return 0;
+   int ret = 0;
+   ret = k_mutex_lock(&card->lock, K_MSEC(CONFIG_SD_DATA_TIMEOUT));
+   if (ret) {
+       LOG_WRN("Could not get SD card mutex");
+       return -EBUSY;
+   }
+   switch (cmd) {
+   case DISK_IOCTL_GET_SECTOR_COUNT:
+   (*(uint32_t *)buf) = card->block_count;
+       break;
+   case DISK_IOCTL_GET_SECTOR_SIZE:
+   case DISK_IOCTL_GET_ERASE_BLOCK_SZ:
+       (*(uint32_t *)buf) = card->block_size;
+       break;
+   case DISK_IOCTL_CTRL_SYNC:
+       /* Ensure card is not busy with data write.
+        * Note that SD stack does not support enabling caching, so
+        * cache flush is not required here
+        */
+       ret = sdmmc_wait_ready(card);
+       break;
+   default:
+       ret = -ENOTSUP;
+       break;
+   }
+   k_mutex_unlock(&card->lock);
+   return ret;