When I select TIMER_B_CAPTURE_INPUTSELECT_CCI0A as the uint16_t synchronizeCaptureSource, I get a compilation error that states "error #20: identifier "TIMER_B_CAPTURE_INPUTSELECT_CCR0A" is undefined". I pasted this directly from the User's Guide (except for substiting "0" for "x", so I don't know what to do, except, of course, to accomplish this without driverlib.
Any suggestions on how to get this driverlib function to work?