Cant seem to initialise GPIO09

Hi,

Id like to use GPIO09 as an input pin, just reading its state.  I can initialise all the other pins however Im going wrong somewhere when it comes to this pin. 

Below is my .C code, it is labelled as the sensor power pin.

Below is my .h file.

Thank you!