TMP_REG
for (i = BPF_REG_0; i <= TMP_REG; i++) {
if (i != TMP_REG) {
u32 tmp_reg = bpf_to_ppc(TMP_REG);
ctx->b2p[TMP_REG] = _R31; /* 32 bits */