Предисловие
в ADS есть такая фича - symdef, которая позволяет задовать абсолютные значения внешним символам.
В GCC есть аналог - скрипты линкера, где можно писать
ExtrFunction1 = 0x12345678
так вот вопрос - как указать линкеру, что это:
1) функция
2) thumb-функция

Извените если не в ту ветку написал.
С уважением, Дмитрий.