init_rd32
init_wr32(init, reg + 4, data | (init_rd32(init, reg + 4) & mask));
data = init_shift(init_rd32(init, sreg), shift);
strap = init_rd32(init, 0x101000);
if ((init_rd32(init, 0x100000) & mask) != value)
if ((init_rd32(init, 0x101000) & mask) != value)
init_wr32(init, dreg, init_rd32(init, sreg));
data = init_shift(init_rd32(init, saddr), sshift) & smask;
data = init_rd32(init, addr);
return (init_rd32(init, reg) & msk) == val;
data |= init_shift(init_rd32(init, reg), shift) & smask;