gicv2_helpers.c 6.64 KB