How to do a digitalread on PK_4 pin at TM4C129

I am using TM4C129 board and need to read the PK_4 pin. I understand I need to do a digitalread. But what is the pin number I should refer in the code? Is it pin# 79

So something like below energia code make sense?

int val = 0; 
int inPin = 79;



void setup()
{
  pinMode(inPin, INPUT);      // sets the digital pin 79 as input
}

void loop()
{
  val = digitalRead(inPin);   // read the input pin
}