Have you seen this?
The notation used on that page is [GPIO register][bit], i.e. for the left shoulder button, C10 is GPIO register C, bit 10. The controls are designated active low, so the bits for each control are normally set to 1, and when the appropriate button is pressed, the bit is reset...