EBPF_SCRATCH_TO_ARM_FP
emit(ARM_LDR_I(tmp, ARM_FP, EBPF_SCRATCH_TO_ARM_FP(reg)), ctx);
EBPF_SCRATCH_TO_ARM_FP(reg[1])), ctx);
EBPF_SCRATCH_TO_ARM_FP(reg[1])), ctx);
EBPF_SCRATCH_TO_ARM_FP(reg[0])), ctx);
emit(ARM_STR_I(src, ARM_FP, EBPF_SCRATCH_TO_ARM_FP(reg)), ctx);
EBPF_SCRATCH_TO_ARM_FP(reg[1])), ctx);
EBPF_SCRATCH_TO_ARM_FP(reg[1])), ctx);
EBPF_SCRATCH_TO_ARM_FP(reg[0])), ctx);
emit(ARM_LDRD_I(tmp[1], ARM_FP, EBPF_SCRATCH_TO_ARM_FP(src_lo)), ctx);
emit(ARM_STRD_I(tmp[1], ARM_FP, EBPF_SCRATCH_TO_ARM_FP(dst_lo)), ctx);
emit(ARM_LDRD_I(dst[1], ARM_FP, EBPF_SCRATCH_TO_ARM_FP(src_lo)), ctx);
emit(ARM_STRD_I(src[1], ARM_FP, EBPF_SCRATCH_TO_ARM_FP(dst_lo)), ctx);