Hi everyone.
I'm trying to learn how to use the bit banding region in order to toggle a GPIO pin. I think i understand how it works (writing to a specific address writes a bit on a specific register for example), however i cannot understand how to make it work in code.
I'm using the code in the bottom of this https://developer.mbed.org/cookbook/bit-banding page with the proper modifications to toggle pin 3 on the GPIO Port f (it's connected to a red led on the tm4c123gxl board).
It works fine if a set the bit on the GPIO_DATA register, but does nothing when using the bit band region.
(i'll post the full source when i get home. sorry about that)
Related to this problem, I cannot download the CMSIS DSP Header files. The only link i can find http://www.ti.com/tool/cmsis_dsp_headers, works but dosen´t provide the download button anywhere.