AWR1843BOOST: Working of the Pin numbers from 60 to 63 as PK7,PK6,PK5,PK4 of TM4C294NCPDTT3 IC on board in the AWR1843Boost module

Part Number: AWR1843BOOST

Tool/software:

Hi everyone

Hope everyone is doing well.

So I was looking over the AWR1843Boost module schematic which is available in public domain and I was unable to figure out or in better words unable to understand the working of the Pins as numbered from 60 to 63, named as PK7, PK6, PK5, PK4 on the TM4C1294NCPDTT3 chip present on board the AWR1843Boost module. Since two of them are connected to the Ground and two of them are connected to 3.3V each through 1K ohm resistors so it is very confusing to understand the working of these pins besides this pins have multiple working peripherals so if anyone can help me to understand the working of the above mentioned pins it would be a great help for me.  

Thank you in advance for replying to this question.

Regards

Ratul