80th gic_of_init()