PPC_LI64
#define PPC_LI_ADDR PPC_LI64
PPC_LI64(_R3, l->cookie);
PPC_LI64(dst_reg, (ctx->user_vm_start & 0xffffffff00000000UL));
PPC_LI64(_R12, dereference_kernel_function_descriptor(bpf_stf_barrier));
PPC_LI64(tmp2_reg, 0x8000000000000000ul);
PPC_LI64(tmp2_reg, PAGE_OFFSET);
PPC_LI64(dst_reg, imm64);
PPC_LI64(bpf_to_ppc(ARENA_VM_START), ctx->arena_vm_start);
PPC_LI64(_R12, func);
PPC_LI64(bpf_to_ppc(TMP_REG_2), func);
PPC_LI64(_R12, func);