ARM_BASE_WVR
write_wb_reg(ARM_BASE_WVR + i, 0UL);
write_wb_reg(ARM_BASE_WVR, 0);
val_base = ARM_BASE_WVR;
val = read_wb_reg(ARM_BASE_WVR + i);