LDR_PC2valptr_thumb  691 tools/firmware_load_ng.c        return LDR_PC2valptr_thumb(fw,insn);
LDR_PC2valptr_thumb  266 tools/firmware_load_ng.h uint32_t* LDR_PC2valptr_thumb(firmware *fw, cs_insn *insn);