INSN_R_OPCODE_SHIFT
" .4byte ((\\opcode << " __stringify(INSN_R_OPCODE_SHIFT) ") |" \
.4byte ((\opcode << INSN_R_OPCODE_SHIFT) | \