gic_set_eoi_split
gic_set_eoi_split(args->eoi_split);
gic_set_eoi_split(1);
gic_set_eoi_split(0);
gic_set_eoi_split(1);
void gic_set_eoi_split(bool split);
gic_common_ops->gic_set_eoi_split(split);
void (*gic_set_eoi_split)(bool split);
.gic_set_eoi_split = gicv3_set_eoi_split,