|
@@ -480,6 +480,10 @@ static void pl181_reset(DeviceState *d)
|
|
|
|
|
|
/* We can assume our GPIO outputs have been wired up now */
|
|
/* We can assume our GPIO outputs have been wired up now */
|
|
sd_set_cb(s->card, s->cardstatus[0], s->cardstatus[1]);
|
|
sd_set_cb(s->card, s->cardstatus[0], s->cardstatus[1]);
|
|
|
|
+ /* Since we're still using the legacy SD API the card is not plugged
|
|
|
|
+ * into any bus, and we must reset it manually.
|
|
|
|
+ */
|
|
|
|
+ device_reset(DEVICE(s->card));
|
|
}
|
|
}
|
|
|
|
|
|
static void pl181_init(Object *obj)
|
|
static void pl181_init(Object *obj)
|