According to the ARM manual, __irq is a keyword defining the interrupt handlers in C code. However, I am not clear what would do keywords like:
__irq_arm
__irq_arm_ramfunc
__irq_XXXX
.....
HOWEVER, after reviewing the original of the code, it was pretty clear that there are spaces between __irq and __arm, as well as between __irq and __ramfunc. Therefore, my question is no longer valid. One should always look the code on the screen, instead from some handouts ...