init_wr32
init_wr32(init, reg + 0, addr | 0x00010000);
init_wr32(init, reg + 4, data | (init_rd32(init, reg + 4) & mask));
init_wr32(init, reg + 0, addr);
init_wr32(init, reg + 4, data);
init_wr32(init, reg + 0, addr);
init_wr32(init, base, data);
init_wr32(init, addr, data);
init_wr32(init, reg, data1);
init_wr32(init, reg, data2);
init_wr32(init, 0x00184c, savepci19);
init_wr32(init, addr, data);
init_wr32(init, 0x614100, 0x00800018);
init_wr32(init, 0x614900, 0x00800018);
init_wr32(init, 0x614100, 0x10000018);
init_wr32(init, 0x614900, 0x10000018);
init_wr32(init, addr, data);
init_wr32(init, addr, data);
init_wr32(init, addr, data);
init_wr32(init, addr, data);
init_wr32(init, dreg, init_rd32(init, sreg));
init_wr32(init, addr, data);
init_wr32(init, addr, data);
init_wr32(init, reg, data);
init_wr32(init, dreg, idata);