__text_gen_insn
__text_gen_insn(&insn, opcode, addr, dest, text_opcode_size(opcode));
__text_gen_insn(bytes, JMP32_INSN_OPCODE, addr, x86_return_thunk, i);
__text_gen_insn(bytes + 2, CALL_INSN_OPCODE,
__text_gen_insn(buf, JMP8_INSN_OPCODE, buf, target, JMP8_INSN_SIZE);
__text_gen_insn(buf, JMP32_INSN_OPCODE, buf, target, JMP32_INSN_SIZE);
__text_gen_insn(bytes+i, op, addr+i,
__text_gen_insn(bytes+i, op, addr+i,
__text_gen_insn(bytes, CALL_INSN_OPCODE, addr, pad, CALL_INSN_SIZE);
__text_gen_insn(ip, JMP32_INSN_OPCODE, ip, x86_return_thunk, JMP32_INSN_SIZE);
__text_gen_insn(buf+1, op, insn+1, func, 5);
__text_gen_insn(tramp, JMP32_INSN_OPCODE, tramp, func, JMP32_INSN_SIZE);
__text_gen_insn(call, CALL_INSN_OPCODE, (const void *) vaddr,
__text_gen_insn(&early_xen_iret_patch,