I am using the gpio.h header downloaded in the 'SDK Drivers for KEAZ128_KEAZ64 (for S32DS)' package. I think I've identified an error. I think the underlined parts in the image below should be swapped. These are on line 111 and 119 of gpio.h.
I hope this helps someone else.