From 7df324b8195b4f16f1eb6678ac5c9c077ca9d389 Mon Sep 17 00:00:00 2001
From: Solomon Peachy <pizza@shaftnet.org>
Date: Sat, 23 Nov 2024 23:03:39 -0500
Subject: [PATCH] sdmmc:  the tCardInfo.initialized field needs to be an
 integer, not bool

Some drivers (Notably the PP SD driver) uses negative values to indicate
errors.

Change-Id: I9dbb065cbe90a62cde8a1d89bf6b450f40721790
---
 firmware/export/sdmmc.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/firmware/export/sdmmc.h b/firmware/export/sdmmc.h
index f84a7b96fa..ed075f82a3 100644
--- a/firmware/export/sdmmc.h
+++ b/firmware/export/sdmmc.h
@@ -27,7 +27,7 @@
 
 typedef struct
 {
-    bool initialized;
+    int initialized; /* 0, 1, or negative for errors */
 
     unsigned long read_timeout;     /* n * 8 clock cycles */
     unsigned long write_timeout;    /* n * 8 clock cycles */