ggi-libs/libgic/include/ggi/internal
