110     uint32_t *p = ptr;  in write_bootloader()  local
115     stl_p(p++, 0x85444000); /* rd %asr17, %g2      */  in write_bootloader()
116     stl_p(p++, 0x8530a01c); /* srl  %g2, 0x1c, %g2 */  in write_bootloader()
117     stl_p(p++, 0x80908000); /* tst  %g2            */  in write_bootloader()
119     sec_cpu_branch_p = p;  in write_bootloader()
120     stl_p(p++, 0x0BADC0DE); /* bne xxx             */  in write_bootloader()
121     stl_p(p++, 0x01000000); /* nop */  in write_bootloader()
125     p = gen_store_u32(p, 0x80000108, 3);  in write_bootloader()
129     p = gen_store_u32(p, 0x80000304, 39);  in write_bootloader()
131     p = gen_store_u32(p, 0x80000314, 0xFFFFFFFE);  in write_bootloader()
133     p = gen_store_u32(p, 0x80000318, 3);  in write_bootloader()
137           + (p - sec_cpu_branch_p));  in write_bootloader()
140     stl_p(p++, 0x82100000); /* mov %g0, %g1 */  in write_bootloader()
141     stl_p(p++, 0x03000000 + extract32(kernel_addr, 10, 22));  in write_bootloader()
143     stl_p(p++, 0x82106000 + extract32(kernel_addr, 0, 10));  in write_bootloader()
145     stl_p(p++, 0x81c04000); /* jmp  %g1 */  in write_bootloader()
146     stl_p(p++, 0x01000000); /* nop */  in write_bootloader()