push_bl_mcount_thumb_le  258 scripts/recordmcount.c static unsigned char push_bl_mcount_thumb_le[6] = { 0x00, 0xb5, 0xff, 0xf7, 0xfe, 0xff }; /* push {lr}, bl */
push_bl_mcount_thumb_le  500 scripts/recordmcount.c 		push_bl_mcount_thumb = push_bl_mcount_thumb_le;