The text c37897e4f06a, as Debian 8 (Jessie) shipped it.
register offsets for struct irq_gci
struct_irq_chip_regs(9) on Linux now
