  val[0] = ext_read(phydev, PAGE0, PTP_TDR); /* ns[00:0] */  val[0] = ext_read(phydev, PAGE0, PTP_TDR); /* ns[00:00] */  val[0] = ext_read(phydev, PAGE0, PTP_TDR); /* sec[00:0] */  val[0] = ext_read(phydev, PAGE0, PTP_TDR); /* sec[00:0