push_bl_mcount_thumb 260 scripts/recordmcount.c static unsigned char *push_bl_mcount_thumb; push_bl_mcount_thumb 277 scripts/recordmcount.c } else if (memcmp(ptr - 2, push_bl_mcount_thumb, 6) == 0) { push_bl_mcount_thumb 500 scripts/recordmcount.c push_bl_mcount_thumb = push_bl_mcount_thumb_le; push_bl_mcount_thumb 513 scripts/recordmcount.c push_bl_mcount_thumb = push_bl_mcount_thumb_be;