ett              6554 tools/finsig_thumb2.c     misc_val_t *ett=get_misc_val("exmem_types_table");
ett              6556 tools/finsig_thumb2.c     if (ett->val == 0 || etc->val == 0) {
ett              6562 tools/finsig_thumb2.c         char *extyp = (char*)adr2ptr(fw, fw_u32(fw,ett->val+n*4));