Конечно, путь к коду уникален. Я не знаю о SMX, но, конечно, он не отменяет обычный механизм, в соответствии с которым функция, вызываемая прерыванием, имеет специальную обработку, чтобы устанавливать кадр стека, сохранять регистры и, возможно, устанавливать статическую ссылку на переменные модуля. В таких случаях очевидным средством проверки ISR по сравнению с другим маршрутом является то, что ISR устанавливает флаг при входе и очищает его при выходе.