Unusual C function declaration “void fnc1(args) fnc2(void) {…}”

Question

I encountered the following code when studying about PIC32 interrupts

void __ISR(_CORE_TIMER_VECTOR, IPL6SRS) CoreTimerISR(void) {
...
}

Here