s390_kernel_write
s390_kernel_write(p, &val, sizeof(val));
s390_kernel_write(where, &insn, sizeof(insn));
s390_kernel_write(old, new, a->instrlen);
s390_kernel_write(trampoline, &tmp, sizeof(tmp));
s390_kernel_write(&insn->disp, &disp, sizeof(disp));
s390_kernel_write((void *)ip, &new, sizeof(new));
s390_kernel_write(&trampoline->interceptor, &addr, sizeof(addr));
s390_kernel_write((char *)addr + 1, &op, sizeof(op));
s390_kernel_write(&trampoline->interceptor, &addr, sizeof(addr));
s390_kernel_write(code, &new, sizeof(new));
s390_kernel_write(p->addr, &opc, sizeof(opc));
s390_kernel_write(p->ainsn.insn, &insn, len);
write = s390_kernel_write;
s390_kernel_write(instr, insnbuf, 6);
s390_kernel_write(insn, &new, sizeof(*insn));
s390_kernel_write(&plt->target, &new_plt.target,
s390_kernel_write((char *)ip + 1, (char *)&insn.opc + 1, 1);