80th 2nd log
80th gic_init_bases()
80th irq_alloc_descs()