AMD_NB_CFG_WDOGTMRDIS
if (val & AMD_NB_CFG_WDOGTMRDIS) {
mdb_printf("\t0x%08x %s\n", AMD_NB_CFG_WDOGTMRDIS,
val |= AMD_NB_CFG_WDOGTMRDIS;
if (!(val & AMD_NB_CFG_WDOGTMRDIS))
val &= ~AMD_NB_CFG_WDOGTMRDIS;
val |= AMD_NB_CFG_WDOGTMRDIS;
if (!(val & AMD_NB_CFG_WDOGTMRDIS))
AMD_NB_CFG_WDOGTMRDIS);