Hello,
The Gpio_readBankInterruptStatus function in the mentioned driver doesn't handle bank number 8, there are 9 banks in C6748. Also instead of the switch a simpler condition could be used, like checking if(bank & 1) for odd or even banks.
Best regards,
David.