Other Parts Discussed in Thread: HALCOGEN
The TI HalCoGen tool appears to be missing support for chip select 4 and 5 on the MIBSPI5 interface. Note that the options exist on the SPI5 interface, so there is at least some acknowledgement that the signals exist.
This was observed in both v04.05.02 and v04.06.00.
For now, my workaround is to set the appropriate bits in mibspiREG5->PCn in the USER CODE BEGIN (3) block at the bottom of mibspiInit()