According to the linux headers (see below), interrupts 12 to 15 are multicore sync 0-3. These interrupts are completely undocumented, can anyone tell me what they do?
https://github.com/raspberrypi/linux/bl ... platform.h
They seem to be related to the "local" interrupts (i.e. the 20 interrupts local to the core, not the 72 global interrupts that broadcomm calls gpu interrupts). But I can't find any other mentions of them in linux or anywhere else