- #define TxCCTLx (*(volatile TYPE_TACCTL0*)TxCCTLx_addr)
- #define TxCCRx (*(volatile TYPE_TACCR0*)TxCCRx_addr)
+ #define TxCCTLx (*TCAST(volatile TYPE_TACCTL0* SINGLE NONNULL, TxCCTLx_addr))
+ #define TxCCRx (*TCAST(volatile TYPE_TACCR0* SINGLE NONNULL, TxCCRx_addr))