IRQ4 (EXTINT[4:7]) and 5 (EXTINT[8:23]). ssextio driver handles these interrupts.
It is Samsung's another ARM920 based SoC. XXX: not tested much yet.