PPC_RAW_MFSPR
instrs[i++] = PPC_RAW_MFSPR(_R13, SPRN_HSPRG0);
instrs[i++] = PPC_RAW_MFSPR(_R13, SPRN_SPRG1);
instrs[i++] = PPC_RAW_MFSPR(_R13, SPRN_HSPRG1);
instrs[i++] = PPC_RAW_MFSPR(_R13, SPRN_SPRG2);
ppc_inst_t insn = ppc_inst(PPC_RAW_MFSPR(10, SPRN_SPRG_SCRATCH2));
*(unsigned int *)KERNELBASE = PPC_RAW_MFSPR(3, SPRN_PIR);