__INSN_OPCODE_MASK
if ((op_code & __INSN_OPCODE_MASK) == __INSN_BRANCH_OPCODE) {
u32 opcode = insn_buf & __INSN_OPCODE_MASK;