+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)
+{
+ ASSERT((len == 8) || (len == 4) || (len == 1));
+ HSMCI_SDCR = (len << HSMCI_SDCR_SDCBUS_SHIFT) & HSMCI_SDCR_SDCBUS_MASK;
+}
+