read_via_memwin
read_via_memwin(sc, 0, offset, (u32 *)&tpte, 32);
read_via_memwin(sc, 0, offset, (u32 *)&tpte, 4);
read_via_memwin(sc, 0, offset, (u32 *)&tpte, 32);
read_via_memwin(sc, 0, tcb_addr + 16, (uint32_t *)&t, 8);
read_via_memwin(sc, 0, tcb_addr + 24, &t, 4);
rc = read_via_memwin(sc, 1, addr, (void *)buf, size);
read_via_memwin(sc, 2, addr, buf, n);
rc = read_via_memwin(sc, 2, addr, (uint32_t *)buf, TCB_SIZE);