957 }

   957 }

   958 

   958 

   959 /*****************************************************************************/

   959 /*****************************************************************************/

   960 

   960 

   961 /** Configure 32 bit time offset.

   961 /** Configure 32 bit time offset.

   962  */

   964  */

   963 u64 ec_fsm_master_dc_offset32(

   965 u64 ec_fsm_master_dc_offset32(

   964         ec_fsm_master_t *fsm, /**< Master state machine. */

   966         ec_fsm_master_t *fsm, /**< Master state machine. */

   965         u64 system_time, /**< System time register. */

   967         u64 system_time, /**< System time register. */

   966         u64 old_offset, /**< Time offset register. */

   968         u64 old_offset, /**< Time offset register. */

   997 }

   999 }

   998 

  1000 

   999 /*****************************************************************************/

  1001 /*****************************************************************************/

  1000 

  1002 

  1001 /** Configure 64 bit time offset.

  1003 /** Configure 64 bit time offset.

  1002  */

  1006  */

  1003 u64 ec_fsm_master_dc_offset64(

  1007 u64 ec_fsm_master_dc_offset64(

  1004         ec_fsm_master_t *fsm, /**< Master state machine. */

  1008         ec_fsm_master_t *fsm, /**< Master state machine. */

  1005         u64 system_time, /**< System time register. */

  1009         u64 system_time, /**< System time register. */

  1006         u64 old_offset, /**< Time offset register. */

  1010         u64 old_offset, /**< Time offset register. */