GT_WDOG_Value
gt_read(gt, GT_WDOG_Config), gt_read(gt, GT_WDOG_Value));
aprint_normal(" status %#x,%#x:", r, gt_read(gt, GT_WDOG_Value));
gt_write(gt, GT_WDOG_Value, GT_WDOG_NMI_DFLT);
r, gt_read(gt, GT_WDOG_Value),