From e426da0873e6be43aa614070c4c23ed2fbaf0450 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sat, 24 Oct 2026 19:03:41 +1100
Subject: [PATCH] libsdhcdrivers: remove exynos4 platform support

Implement RFC-19 and remove deprecated platforms. This affects only the
sdhc driver for Odroid-X (`exynos4`) in this repo.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .../plat_include/exynos4/sdhc/plat/sdio.h     | 35 -----------
 libsdhcdrivers/src/plat/exynos4/sdio.c        | 60 -------------------
 2 files changed, 95 deletions(-)
 delete mode 100644 libsdhcdrivers/plat_include/exynos4/sdhc/plat/sdio.h
 delete mode 100644 libsdhcdrivers/src/plat/exynos4/sdio.c

diff --git a/libsdhcdrivers/plat_include/exynos4/sdhc/plat/sdio.h b/libsdhcdrivers/plat_include/exynos4/sdhc/plat/sdio.h
deleted file mode 100644
index e000e78..0000000
--- a/libsdhcdrivers/plat_include/exynos4/sdhc/plat/sdio.h
+++ /dev/null
@@ -1,35 +0,0 @@
-/*
- * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
-
-#pragma once
-
-#define SDHC0_PADDR 0x12510000
-#define SDHC1_PADDR 0x12520000
-#define SDHC2_PADDR 0x12530000
-#define SDHC3_PADDR 0x12540000
-#define SDHC4_PADDR 0x12550000
-
-#define SDHC0_SIZE  0x1000
-#define SDHC1_SIZE  0x1000
-#define SDHC2_SIZE  0x1000
-#define SDHC3_SIZE  0x1000
-#define SDHC4_SIZE  0x1000
-
-#define SDHC0_IRQ   105
-#define SDHC1_IRQ   106
-#define SDHC2_IRQ   107
-#define SDHC3_IRQ   108
-#define SDHC4_IRQ   109
-
-enum sdio_id {
-    SDHC0 = 0,
-    SDHC1,
-    SDHC2,
-    SDHC3,
-    SDHC4,
-    NSDHC,
-    SDHC_DEFAULT = SDHC2
-};
diff --git a/libsdhcdrivers/src/plat/exynos4/sdio.c b/libsdhcdrivers/src/plat/exynos4/sdio.c
deleted file mode 100644
index aa3261a..0000000
--- a/libsdhcdrivers/src/plat/exynos4/sdio.c
+++ /dev/null
@@ -1,60 +0,0 @@
-/*
- * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
-
-#include "../../sdhc.h"
-#include "../../services.h"
-
-static const int
-_sdhc_irq_table[] = {
-    [SDHC0] = SDHC0_IRQ,
-    [SDHC1] = SDHC1_IRQ,
-    [SDHC2] = SDHC2_IRQ,
-    [SDHC3] = SDHC3_IRQ,
-    [SDHC4] = SDHC4_IRQ
-};
-
-enum sdio_id sdio_default_id(void)
-{
-    return SDHC_DEFAULT;
-}
-
-int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev)
-{
-    void *iobase;
-    int ret;
-    switch (id) {
-    case SDHC0:
-        iobase = RESOURCE(io_ops, SDHC0);
-        break;
-    case SDHC1:
-        iobase = RESOURCE(io_ops, SDHC1);
-        break;
-    case SDHC2:
-        iobase = RESOURCE(io_ops, SDHC2);
-        break;
-    case SDHC3:
-        iobase = RESOURCE(io_ops, SDHC3);
-        break;
-    case SDHC4:
-        iobase = RESOURCE(io_ops, SDHC4);
-        break;
-    default:
-        return -1;
-    }
-    if (iobase == NULL) {
-        ZF_LOGE("Failed to map device memory for SDHC");
-        return -1;
-    }
-
-    ret = sdhc_init(iobase, _sdhc_irq_table, NSDHC, io_ops, dev);
-    if (ret) {
-        ZF_LOGE("Failed to initialise SDHC");
-        return -1;
-    }
-    return 0;
-}
-
-