I have discovered that in v3.16 in functions.md for the 'waitforinterrupt2' example(isr_debounce.c), using WPIWfiStatus two of its members are not implemented correctly. In functions.md, the code says wfiStatus.status, but the struct implementation is wfistatus.statusOK. Another issue is that the WPIWfistatus struct uses a member named pinBCM, while the code(isr_debounce.c) in functions.md asks for the member named gpioPin.
So, is it asking for the BCM pin number or the wiringPi pin number? Can that be decided based on the GPIO setup function?