+void sd_decode_addr(SDAddr *addr, uint32_t *resp, size_t len)
+{
+ ASSERT(addr);
+ ASSERT(resp);
+ (void)len;
+
+ kprintf("%0lx\n", resp[0] >> 16);
+ addr->rca = UNSTUFF_BITS(resp, 16, 16);
+ addr->status = UNSTUFF_BITS(resp, 0, 16);
+}
+
+void sd_dump_addr(SDAddr *addr)
+{
+ ASSERT(addr);
+ kprintf("RCA: %0lx\n", addr->rca);
+ kprintf("STATUS: %0lx\n", addr->status);
+}
+