Ich kenne den STM nicht, aber eine kurze Google-Suche bringt follgendes zu Tage

Derartige Funktionen sind als extern „C“ void zu deklarieren und besitzen fest vorgegebene Namen, die es dem Compiler ermöglichen, die ISR dem richtigen Interrupt zuzuordnen. Die Namen der Eventhandler folgen immer dem Muster Gerät_IRQHandler.
Und als Beispiel:

extern "C" void TIM7_IRQHandler() {

Thats it. Das entspricht dem, was ich von anderen CPUs so kenne. In einem der Systemheader steht dann mehr zum jeweiligen Symbol (hier xxx_IRQHandler) und in einem Linkerfile etwas zu den absoluten Adressen. Den realen Mechanismus der jeweiligen CPU muß man eigentlich nicht kennen, C ist ja nicht Assembler.

MfG Klebwax