ideal_nop2_thumb_le  254 scripts/recordmcount.c static unsigned char ideal_nop2_thumb_le[2] = { 0x00, 0xbf }; /* nop */
ideal_nop2_thumb_le  499 scripts/recordmcount.c 		ideal_nop2_thumb = ideal_nop2_thumb_le;