TX4938_CCFG_WDREXEN
(____raw_readq(&tx4938_ccfgptr->ccfg) & TX4938_CCFG_WDREXEN) ?
if (____raw_readq(&tx4938_ccfgptr->ccfg) & TX4938_CCFG_WDREXEN) {
tx4938_ccfg_clear(TX4938_CCFG_WDREXEN);