K60 user's manual 10.2.3 Signal Multiplexing Constraints
"The following signals have general purpose output capability only (no general purpose input):
On the K60 tower board PTA19 is connected to Switch 1.
When the port is configured as GPIO input the switch value seems to be able to be read as expected. (PGPIO_PDIRA bit 0x00080000 when switch is not pressed and 0x00000000 when the switch is pressed).
Question - is there a restriction to this pin or is the user's guide at fault???