WT_SRAMP
ecx = WT_SRAMP(wt);
hwwrite(vortex->mmio, WT_SRAMP(0), 0x880000);
hwwrite(vortex->mmio, WT_SRAMP(1), 0x880000);