Set multiple pins to different GPIO ports
If each entry in the array can point to different port, the simplest way is to initialize the pins in a for loop one at a time. Take a port and pin, init it. Take next port and pin, init it. There are  faster ways too, but since the IO ports are each dynamically set in run-time by the user anyway, it makes little difference how it is done.