Микроконтроллеры

Нет, линкер может вообще ничего не знать ни о функциях, ни о каких либо типах. Ведь можно сделать вообще весь проект на ассемблере. Более того, один и тот же линкер может быть использован для сборки программ разных типов процессоров. Например, IAR поддерживает много разных платформ, а линкер для всех один - XLINK. Для линкера важен только формат объектного файла(ов), которые он поддерживает, и формат(ы)выходного файла. Не более того. Насчет программ формирования прототипов функций конкретной информации у меня нет. Насколько я помню, подобные утилиты имеются в Gnu, возможно, еще где-то. Но точно не помню. Извините.