80th gic_init_bases()