c - 割り込みサービス ルーチンの typedef 宣言の理解に問題がある

Question

このtypedefが割り込みサービスルーチンを宣言するために使用されることを誰かが説明できますか。

#pragma language=extended
typedef void (__interrupt *__fp)();

void OSTickISR (void);
void OSCtxSw   (void);
void AdcIsr    (void);