![]() |
![]() |
GPTimerWFF3 Hardware attributes. More...
#include <GPTimerWFF3.h>

Data Fields | |
| uint32_t | baseAddr |
| PowerWFF3_Resource | powerID |
| GPTimerWFF3_ChannelConf | channelConfig [4] |
| uint8_t | intNum |
| uint8_t | intPriority |
GPTimerWFF3 Hardware attributes.
These fields are used by the driver to set up underlying GPTimer driver statically. A sample structure is shown below making use of channel 2 in GPTIMER1:
| uint32_t GPTimerWFF3_HWAttrs::baseAddr |
GPTimer peripheral base address
| PowerWFF3_Resource GPTimerWFF3_HWAttrs::powerID |
GPTimer peripheral's power resource ID
| GPTimerWFF3_ChannelConf GPTimerWFF3_HWAttrs::channelConfig[4] |
GPTimer peripheral channel selection for for pin and pin mux
| uint8_t GPTimerWFF3_HWAttrs::intNum |
GPTimer peripheral interrupt vector
| uint8_t GPTimerWFF3_HWAttrs::intPriority |
GPTimer peripheral's interrupt priority