насколько я понимаю, компилятор не процедуру использует, а размещает данные в адресном пространстве "квази-EEPROM" в соответствии с атрибутами вида __attribute__((space(eedata), aligned(N))), а после уже в хекс пихает. Программатор из хекса все верно достает и отображает в нужном окошке..