Shared pins on the Tiva C Series LaunchPad Evaluation Kit

In the User's Guide for the Tiva C Series TM4C123G LaunchPad Evaluation Board, there is a table for each row of pins on the board, like J1, J2, J3 and J4. Some pins like 2.06 and 2.07 are shared with different GPIOs.

I want to use PD1 (SSI1Fss) on pin 2.06 and PD0 (SSI1Clk) on pin 2.07. How can I be sure that these pins are routed correctly?

I am using TivaWare, by the way. Maybe there is a function to set this up?

Thanks in advance :-)