1.1 --- a/pkg/devices/lib/msc/include/msc-jz4780.h Fri Feb 16 00:55:51 2024 +0100
1.2 +++ b/pkg/devices/lib/msc/include/msc-jz4780.h Fri Feb 16 23:11:25 2024 +0100
1.3 @@ -21,6 +21,7 @@
1.4
1.5 #pragma once
1.6
1.7 +#include <l4/devices/msc-common.h>
1.8 #include <l4/re/c/dma_space.h>
1.9 #include <l4/sys/types.h>
1.10 #include <stdint.h>
1.11 @@ -30,7 +31,6 @@
1.12 #ifdef __cplusplus
1.13
1.14 #include <l4/devices/dma-jz4780.h>
1.15 -#include <l4/devices/msc-common.h>
1.16
1.17 // MMC/SD controller channel.
1.18
1.19 @@ -79,7 +79,9 @@
1.20 void *jz4780_msc_get_channel(void *msc, uint8_t channel, l4_cap_idx_t irq,
1.21 void *dma);
1.22
1.23 -uint32_t jz4780_msc_get_status(void *msc_channel);
1.24 +struct msc_card *jz4780_msc_get_cards(void *msc_channel);
1.25 +
1.26 +uint8_t jz4780_msc_num_cards(void *msc_channel);
1.27
1.28 void jz4780_msc_enable(void *msc_channel);
1.29