GT_ECC_Addr
addr = gt_read(gt, GT_ECC_Addr); /* read last! */
gt_write(gt, GT_ECC_Addr, 0); /* clear intr */
(void)gt_read(gt, GT_ECC_Addr); /* read last! */