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;