+INLINE void hsmci_enableIrq(void)
+{
+ HSMCI_IER = BV(HSMCI_IER_RTOE);
+}
+
+INLINE void hsmci_disableIrq(void)
+{
+ HSMCI_IDR = BV(HSMCI_IER_RTOE);
+}
+
+INLINE void hsmci_setBusWidth(size_t len)
+{
+ int sdcsel= 0;
+ if (len == 4)
+ sdcsel = 2;
+ if (len == 8)
+ sdcsel = 3;
+
+ HSMCI_SDCR = (sdcsel << HSMCI_SDCR_SDCBUS_SHIFT) & HSMCI_SDCR_SDCBUS_MASK;
+}
+
+void hsmci_readResp(uint32_t *resp, size_t len);