__get_inst32
if (__get_inst32(&opcode, (u32 *)epc, user))
if (__get_inst32(&insn32, (u32 *)pc + i, user))
__get_inst32(&insn.word, pc, user);