I'd not expect "sample codes" for everything. GIC code should be generic, not a20 specific. do you have a20 PM? this is what it states in the GIC chapter:
Quote:
For details about GIC, please refer to the GIC PL400 technical reference manual and ARM GIC Architecture Specification V2.0.
as of timers, they are described in the PM, scarcely though, but, yeah, it's the reference.
I just looked at it, and saw so familiar style, they all are like written by the same person. I programmed (rather barely, without interrupts) OSTimer for jz4780 SoC recently. Anyway, you have the register list, their and their fields description, you could also instruct with uboot, timers should be there (somewhere at the very initilial stage).